body {
    margin: 0 1em 1em 1em;	/* 0 at the top, because of #controls */
    padding: 0;
	font-family: "Trebuchet MS", sans-serif; 
	background: white;
	font-size: 90%   
}


.navbar{ 
    font-size: 10pt;
}

.copyright { 
    font-size: 8pt;
}


div.top_navbar { 
    font-size: 50%;
}