body		{ background: white;
		  font-family: georgia, times, "times roman", "times new roman", serif;
		  font-size: 10pt;
		  font-weight: 500;
		  line-height: 1.2;
                  max-width: none;
		  margin: 0 }
#nav		{ display: none; }
#menu		{ right: 0; 
		  top: 40px; }
#top		{ display: none; }