Slightly increase task menu width to better fit labels in other languages

skins/elastic/styles/layout.less

@@ -248,7 +248,7 @@ html.iframe {
         // FIXME: we set background color here not in taskmenu.less, because
         // otherwise background is partially white on Android/iOS
         background-color: @color-taskmenu-background;
-        width: @layout-menu-width/2;
+        width: @layout-menu-width-sm;
     }
 }
 

skins/elastic/styles/variables.less

@@ -24,7 +24,8 @@
 @page-font-size:        14px;
 @page-min-width:        240px;
 
-@layout-menu-width:                     5rem;
+@layout-menu-width:                     5.6rem;
+@layout-menu-width-sm:                  @layout-menu-width * 0.6;
 @layout-header-height:                  4.2rem;
 @layout-footer-height:                  @layout-header-height;
 @layout-footer-small-height:            2.5rem;

skins/elastic/styles/widgets/taskmenu.less

@@ -89,7 +89,7 @@
             text-align: center;
             color: @color-taskmenu-button;
             padding: .45rem 0;
-            width: @layout-menu-width/2;
+            width: @layout-menu-width-sm;
             font-size: 1.2rem;
             margin-bottom: 1px;
 
@@ -97,7 +97,7 @@
                 display: block;
                 height: 2.1rem;
                 line-height: 1.5;
-                width: @layout-menu-width/2;
+                width: @layout-menu-width-sm;
                 margin: 0;
             }
 
@@ -180,7 +180,7 @@
             padding: .25rem;
 
             @media screen and (min-width: (@screen-width-xs + 1px)) and (max-width: @screen-width-medium) {
-                max-width: @layout-menu-width/2;
+                max-width: @layout-menu-width * 0.45;
             }
         }