body {
	font-family: Georgia, Times, sans-serif;
	font-size: 11pt;
	}

#menu, #tools { 
	display: none;
	}