body
{
color: #404040;
background-color: white;
}
div.menubar
{
font-size: 75%;
}