body {
  background-image: none;
  background-color: rgb(240,240,240);
  color: black;
  padding-left: 0in;
  padding-right: 0in;
  margin-left: 0.4in;
  margin-right: 0.4in;
  margin-top: 0px;
}

a:link {
  color: rgb(0,0,192);
  font-style: italic;
}
a:visited {
  color: rgb(0,64,128);
}
a:active {
  color: rgb(255,0,0);
  background-color: rgb(255,255,0);
}
a:hover {
  color: rgb(0,128,0);
  background-color: rgb(240,255,240);
  text-decoration: none;
}
input:focus { color:black; background-color: yellow; }

h1, h2, h3, h4, h5, h6 {
  font-family: geneva, verdana, helvetica, arial, sans-serif;
  font-weight: bold;
}

h1 {
  padding: 5pt;
  margin-left: -0.4in;
  margin-right: -0.4in;
  margin-top: 0ex;
  margin-bottom: 1ex;
  text-align: center;
  color: white;
  background-color: rgb(0,0,192);
  border-color: rgb(0,0,64);
  border-left-width: 0px;
  border-right-width: 0px;
  border-top-width: 0px;
  border-bottom-width: 1px;
  border-style: solid;
  border-left: 1px solid rgb(160,160,255);
  border-right: 1px solid rgb(0,0,64);
  border-top: 1px solid rgb(160,160,255);
}
h1 span.left {
  font-size: 18px;
}
h1 span.center { 
  font-size: 36px;
}
h1 span.right { 
  font-size: 24px;
}
h2 {
  margin-left: -0.25in;
  color: white;
  background-color: rgb(0,0,192);
  border-color: rgb(160,160,255);
  border-left-width: 0px;
  border-right-width: 0px;
  border-top-width: 1px;
  border-bottom-width: 0px;
  border-style: solid;
  border-left: 1px solid rgb(160,160,255);
  border-right: 1px solid rgb(0,0,64);
  border-bottom: 1px solid rgb(0,0,64);
  padding-left: 12px;
  padding-right: 12px;
}
h3 {
  margin-left: -0.15in;
  color: rgb(0,0,192);
}
h4 {
  margin-left: -0.15in;
  color: rgb(0,0,128);
}
h5 {
  margin-left: -0.15in;
  color: rgb(0,0,64);
}

address {
  text-align: right;
}

div.nav {
  float: right;
  padding: 4px;
  width: 20ex;
  margin-top: 3pt;
  margin-bottom: 2pt;
  border: 2px solid rgb(48,48,160);
  background-color: rgb(228,230,232);
  font-family: sans-serif;
}

pre, code {
  color: rgb(64,128,64);
}

pre {
  background-color: rgb(240,244,240);
  border-color: rgb(250,255,250);
  border-left-width: 1px;
  border-right-width: 0px;
  border-top-width: 0px;
  border-bottom-width: 0px;
  border-style: solid;
  border-top: 1px solid rgb(250,255,250);
  border-right: 1px solid rgb(160,192,160);
  border-bottom: 1px solid rgb(160,192,160);
  padding-left: 12px;
  padding-right: 12px;
  padding-top: 4px;
  padding-bottom: 4px;
}

span.footer {
  color: rgb(64,64,128);
  font-family: verdana, geneva, helvetica, arial, sans-serif;
  font-size: 9pt;
  text-align: center;
}

/* Mozilla specific options */
h2, div.nav {
  -moz-border-radius: 6px;
  -moz-border-radius: 6px;
}
pre {
  -moz-border-radius: 12px;
}