body {margin-top: 0px; margin-left: 0px; margin-right: 0px; margin-bottom: 0px;
    font-family: Arial, Helvetica; font-size: 13px;
    color: #000000; background: #f8f8ff;
}
#top { position: fixed; width: 100%; height: 25px; top: 0; bottom: auto; right: 0; left: 0; }

a.nav_link:link {font-family: Arial,Helvetica;	font-size: 14px; color: #ffffff; font-style: normal; font-weight: bold; text-decoration: none; }
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 {text-align: center; font-family: Arial, Helvetica; font-size: 26px; font-weight: bold; }
h1 a {font-family: Arial, Helvetica; font-size: 26px; font-weight: bold; font-style: normal; text-decoration: none; color: #000000; }
h2 {font-family: Arial, Helvetica; font-size: 18px; font-weight: bold; }
h3 {font-family: Arial, Helvetica; font-size: 14px; font-weight: bold; }
pre { background-color: #eeeeff; font-size: 10px; }
.exponent { vertical-align: super; font-size: smaller; }