body {
  font-family:Arial,"Helvetica",sans-serif;
  font-size:12px;
  background: #fff;
  xmargin: 0 0 0 15px;
  xpadding: 0;
}

h1, h2, h3 {
  color: #00006b;
}

h2{
  font-size:20px;
}

p {
  margin:10px auto 10pt;
  position:relative;
}

#main {
font-family:Arial,"Helvetica",sans-serif;
font-size:12px;
}

a:link, a:visited {
  text-decoration: none;
  color: #0000aa;
}

a:hover {
  text-decoration: underline;
}

a.menu:hover {
  text-decoration: none;
  font-weight: bold;
}

a.active, a.active:hover, a.active:visited {
  text-decoration: none;
  font-weight: bold;
  color: #000;
}

div.footer {
  xfont-family: sans-serif;
  font-size: 70%;
  text-align: left;
}

ol.bignums, ol.bignums h3 {
  color: #00006b;
  font-size: 16px;
  font-weight: bold;
}


ol.bignums p {
  color: #000;
  font-size: 12px;
  font-weight: normal;
}

td.menu { 
  line-height:130%;
}

.attribute {
	font-weight: bold;
}

.special {
	font-style: italic;
}