.clunker {
background-color: #53A42C;
}
a.menubutton, a.menubutton:hover {
height: 14px;
}
*:first-child+html a.menubutton, a.menubutton:hover {
height: 18px;
}