div.menubar, a.menubutton, a.menubutton:hover, div.menu, a.menuitem {
font-size: 9pt;
}

#banner_info
{
visibility: hidden;
}

#banner {
height: 100px;
}

div.faux-menubar {
top: 100px;
}