.home a.menubutton {
padding: 4px 6px 5px!important;
}

div.menubar,
a.menubutton,
a.menubutton:hover {
font-size: 9px;
}