body {font-family: Verdana, Arial, Helvetica; font-size: 12px; color: #000000; }
div.content { width: 540px }
a.mainmenu:link {font-family: Arial,Helvetica;	font-size: 13px; color: #333366; font-style: normal; text-decoration: none; }
a.mainmenu:active {font-family: Arial,Helvetica; font-size: 13px; color: #333366; font-style: normal; text-decoration: none; }
a.mainmenu:visited {font-family: Arial,Helvetica; font-size: 13px; color: #333366; font-style: normal; text-decoration: none; }

h1 {font-family: Verdana, Arial, Helvetica; font-size: 26px; font-weight: bold; }
h1 a {font-family: Verdana, Arial, Helvetica; font-size: 26px; font-weight: bold; font-style: normal; text-decoration: none; color: #000000; }
h2 {font-family: Verdana, Arial, Helvetica; font-size: 18px; font-weight: bold; }
h3 {font-family: Verdana, Arial, Helvetica; font-size: 14px; font-weight: bold; }
pre { background-color: #eeeeff; font-size: 10px; }