body
{
  background-color: #ffffff;
  color: #03005b;
}
p
{

}
a:link
{
  color: #003399;
/*	background-color: #FFFFDD; */
}
code
{
  font-family: monospace;
}
table.pagetable
{
  width: 100%;
}
table.pagetable td
{
  vertical-align: top;
}
table.pagetable td.nav
{
  white-space: nowrap;
}
span.smallnote
{
  font-size: smaller;
  font-style: italic;
  font-weight: bold;
}
span.title
{
  font-style: italic;
}
div.blockindent
{
  margin-left: 10%;
}