* finish task #8600.

module/common/view/header.html.php

@@ -95,6 +95,7 @@ function getExecutions()
         })
     }
 }
+adjustMenuWidth();
 </script>
 <main id='main' <?php if(!empty($config->sso->redirect)) echo "class='ranzhiFixedTfootAction'";?> >
   <div class='container'>

www/js/my.full.js

@@ -796,6 +796,42 @@ function toggleFold(form, unfoldIdList, objectID, objectType)
     });
 }
 
+/**
+ * Adjust menu width.
+ * 
+ * @access public
+ * @return void
+ */
+function adjustMenuWidth()
+{
+    $mainHeader = $('#mainHeader .container');
+    if($mainHeader.length == 0) return false;
+
+    $navbar = $mainHeader.find('#navbar .nav');
+
+    mainHeaderWidth = $mainHeader.width() - 10;
+    headingWidth    = $mainHeader.find('#heading').width() + 30;
+    navbarWidth     = $navbar.width();
+    toolbarWidth    = $mainHeader.find('#toolbar').width() + 20;
+
+    if(mainHeaderWidth < headingWidth + navbarWidth + toolbarWidth)
+    {
+        delta = (headingWidth + navbarWidth + toolbarWidth) - mainHeaderWidth;
+        delta = Math.ceil(delta / $navbar.children('li').length / 2);
+
+        aTagPadding  = $navbar.find('a:first').css('padding-left').replace('px', '');
+        dividerMargin = $navbar.find('.divider').css('margin-left').replace('px', '');
+
+        newPadding = aTagPadding - delta;
+        newMargin  = dividerMargin - delta - 1;
+        if(newPadding < 0) newPadding = 0;
+        if(newMargin < 0)  newMargin  = 0;
+
+        $navbar.children('li').find('a').css('padding-left', newPadding).css('padding-right', newPadding);
+        $navbar.find('.divider').css('margin-left', newMargin).css('margin-right', newMargin);
+    }
+}
+
 /* Ping the server every some minutes to keep the session. */
 needPing = true;