More accurate vertical positioning of #main-menu
Authored by: jplang 2007-10-20
Parent: [r855]
Child: [r857]