commit 09bcbc45fe9afad78beb9d3524cd378c67115f1c
Author: Leszek Koltunski <leszek@koltunski.pl>
Date:   Wed Jan 18 23:30:11 2023 +0100

    Further improvements for the UI.

diff --git a/src/main/java/org/distorted/screens/RubikScreenPlay.java b/src/main/java/org/distorted/screens/RubikScreenPlay.java
index c4471a9b..8cc8af80 100644
--- a/src/main/java/org/distorted/screens/RubikScreenPlay.java
+++ b/src/main/java/org/distorted/screens/RubikScreenPlay.java
@@ -60,6 +60,8 @@ public class RubikScreenPlay extends RubikScreenBase implements RubikNetwork.Upd
   private static final float MENU_BUTTON_HEIGHT  = 0.068f;
   private static final float MENU_TEXT_SIZE      = 0.027f;
   private static final float MENU_MARGIN         = 0.008f;
+  private static final float MENU_WIDTH          = 0.650f;
+  private static final float LEVEL_BUTTON_HEIGHT = 0.089f;
 
   public static final int NUM_COLUMNS  = 5;
   public static final int LEVELS_SHOWN = 8;
@@ -350,9 +352,9 @@ public class RubikScreenPlay extends RubikScreenBase implements RubikNetwork.Upd
     mMenuPopup.setFocusable(true);
     int padding = (int)(height*MENU_MARGIN);
     int numButtons = USE_IAP ? 7 : 6;
-    mMenuLayoutWidth = (int)(width*0.65f);
+    mMenuLayoutWidth = (int)(width*MENU_WIDTH);
     mLevelWidth = (mMenuLayoutWidth-4*padding)/3;
-    mLevelHeight = (int)(mLevelWidth*0.75f);
+    mLevelHeight = (int)(height*LEVEL_BUTTON_HEIGHT);
     mMenuLayoutHeight= padding + numButtons*(mMenuButtonHeight+padding) + mLevelHeight/3 + 3*(mLevelHeight+padding);
 
     layout.setPadding(padding,0,padding,0);
@@ -462,15 +464,15 @@ public class RubikScreenPlay extends RubikScreenBase implements RubikNetwork.Upd
     TextView levels = layout.findViewById(R.id.menuLevels);
     levels.setTextSize(TypedValue.COMPLEX_UNIT_PX, mMenuTextSize);
 
-    setupLevelButtons(act,layout,padding);
+    setupLevelButtons(act,layout,padding/2);
     }
 
 ///////////////////////////////////////////////////////////////////////////////////////////////////
 
-  private void setupLevelButtons(RubikActivity act, View layout, int padding)
+  private void setupLevelButtons(RubikActivity act, View layout, int margin)
     {
     LinearLayout.LayoutParams params = new LinearLayout.LayoutParams(mLevelWidth,mLevelHeight);
-    params.setMargins(padding/2,0,padding/2,0);
+    params.setMargins(margin,margin,margin,margin);
 
     mLevel = new Button[LEVELS_SHOWN+1];
 
diff --git a/src/main/res/layout/popup_menu.xml b/src/main/res/layout/popup_menu.xml
index f994edd8..9eff7f78 100644
--- a/src/main/res/layout/popup_menu.xml
+++ b/src/main/res/layout/popup_menu.xml
@@ -95,7 +95,7 @@
        android:layout_width="match_parent"
        android:text="@string/levels"
        android:layout_height="0dp"
-       android:layout_weight="0.7"
+       android:layout_weight="0.6"
        android:gravity="center"/>
 
    <LinearLayout