Small bug in web interface?
-
-
Your font size is set larger than the default. Ctrl + scroll wheel on your mouse to scroll down to the default font size will fix it.
Known issue with alternate font sizes that we don't know a simple way to fix and haven't made a priority. If you know how to fix it we'd be glad to implement your specific instructions to resolve it.
-
I'm always up for a challenge… ;)
My font's are standard and doing the scroll wheel thing made no difference. Plus the "squashed menu" happens on a standard Ubuntu install, so I poked around a bit and found this.In the file /usr/local/www/themes/metallic/all.css I changed the following line for width from 800 to 802 and the menu was back to normal. It also didn't seem to have any bad effect on IE (I couldn't even see a change!). I didn't change any other "all.css" file as the other themes looked fine.
Hope this helps.
#navigation { /* background: url('images/menu.gif') no-repeat; */ /* width: 693px; */ position: relative; top: -24px; left: -4px; /* FIX: Next line was set to 800\. Changing it to 802 fixes the "squashed menu" bug in Firefox. */ width: 802px; padding: 0px; height: 28px; z-index: 3; }
-
-
Glad to help Gertjan!
-
itshuge: your change has been committed to RELENG_1_2 and will appear in snapshots tomorrow. Thanks!
-
Many thanks to itshuge for that solution, I'm a total newbie, when it comes to tinkering under the bonnet of linux, this might help other newbies, I had to change value to 840, not 802