commit de62316ad4f59debc1ef276b6b501ea4e6f1d1f4
Author: Leszek Koltunski <leszek@koltunski.pl>
Date:   Wed Apr 21 16:58:53 2021 +0200

    Minor adjustments for the UI.

diff --git a/src/main/java/org/distorted/states/RubikStatePlay.java b/src/main/java/org/distorted/states/RubikStatePlay.java
index 74ee45b7..53d66b29 100644
--- a/src/main/java/org/distorted/states/RubikStatePlay.java
+++ b/src/main/java/org/distorted/states/RubikStatePlay.java
@@ -53,7 +53,7 @@ public class RubikStatePlay extends RubikStateBase
 
   private static final int[] BUTTON_LABELS = { R.string.scores, R.string.patterns, R.string.solver, R.string.tutorials, R.string.about };
   private static final int NUM_BUTTONS = BUTTON_LABELS.length;
-  private static final float LAST_BUTTON = 1.4f;
+  private static final float LAST_BUTTON = 1.5f;
 
   private ImageButton mObjButton, mMenuButton, mSolveButton;
   private Button mPlayButton;
@@ -505,15 +505,18 @@ public class RubikStatePlay extends RubikStateBase
       mLevelValue=1;
       }
 
-    float width = act.getScreenWidthInPixels();
-    int margin  = (int)(width*RubikActivity.MARGIN);
-    int padding = (int)(width*RubikActivity.PADDING);
+    float width  = act.getScreenWidthInPixels();
+    int margin   = (int)(width*RubikActivity.MARGIN);
+    int padding  = (int)(width*RubikActivity.PADDING);
+    int butWidth = mPlayLayoutWidth - 2*padding;
+    int butHeight= (int)mMenuItemSize;
+    int lastButH = (int)(mMenuItemSize*LAST_BUTTON) ;
 
-    LinearLayout.LayoutParams pM = new LinearLayout.LayoutParams( mPlayLayoutWidth - 2*padding, (int)mMenuItemSize);
+    LinearLayout.LayoutParams pM = new LinearLayout.LayoutParams( butWidth, butHeight );
     pM.setMargins(margin, 0, margin, margin);
-    LinearLayout.LayoutParams pT = new LinearLayout.LayoutParams( mPlayLayoutWidth - 2*padding, (int)mMenuItemSize);
+    LinearLayout.LayoutParams pT = new LinearLayout.LayoutParams( butWidth, butHeight );
     pT.setMargins(margin, margin, margin, margin);
-    LinearLayout.LayoutParams pB = new LinearLayout.LayoutParams( mPlayLayoutWidth - 2*padding, (int)(mMenuItemSize*LAST_BUTTON) );
+    LinearLayout.LayoutParams pB = new LinearLayout.LayoutParams( butWidth, lastButH  );
     pB.setMargins(margin, margin, margin, 2*margin);
 
     mPlayLayout.removeAllViews();