BODY 
{ 
  color: black; 
  background-color: #DDDDAA; 
}

A:link, A:visited, A:active 
{ 
  color: #AF3333; 
}

A:hover 
{
  color: #77FF77; 
  background-color: #999999;
}

IMG.centered
{
  display: block;
  margin-left: auto;
  margin-right: auto;
}

div.centered, p.centered
{
  text-align: center;
}

table.centered
{
  margin-left: auto;
  margin-right: auto;
}

pre
{
  font-family: monospace;
  font-size: 12pt;
}
