body
{
  margin: 0;
  padding: 0;
  font-family: verdana, helvetica, arial, sans-serif;
  color: rgb(0,0,0);
  background-color: rgb(255,255,255);
}

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

a:hover
{
  color: rgb(0,0,255);
  background-color: rgb(200,200,200);
}

#header
{ 
}

#main-content
{
  position: absolute;
  line-height: 1.7em;
  text-align: justify;
  height: auto;
  left: 220px;
  top: 25px;
  min-width: 520px;
  /* IE Dynamic Expression to set the width.
     An absolutely horrible piece of css, but
     necessary to stop IE being stupid.
     */
  width:expression(document.body.clientWidth < (760) ? "520px" : "auto" );
  border: 0;
  margin: 0;
  padding-left: 15px;
  padding-right: 15px;
  padding-bottom: 15px;
  padding-top: 0;
  font-size: 10pt;
}

pre
{
  border: solid black 1px;
  padding: 1em;
}


.title
{
  font-size: 28pt;
  font-weight: bold;
}

.subtitle
{
  font-style: italic;
  font-size: 20pt;
}

.subsubtitle
{
  font-style: italic;
  font-size: 16pt;
}

.bold
{
  font-weight: bold;
}

.italic
{
  font-style: italic;
}

div.float
{
  padding-top: 1em;
  padding-bottom: 1em;
  padding-right: 1em;
  padding-left: 1em;
  text-align: center;
  line-height: 1.2em;
}

div.float .caption
{
  font-size: 7pt;
}

div.float p.caption
{
  margin-top: 0;
  margin-bottom: 0;
  margin-left: auto;
  margin-right: auto;
  padding-right: 1em;
  padding-left: 1em;
  padding-bottom: 1em;
}

div.float .center
{ 
  margin-top: 0;
  margin-bottom: 0;
  margin-left: auto;
  margin-right: auto;
  padding: 1em;
}

/* Holy Hack necessary because of the
   non-standard behaviour of IE concerning
   boxes and dimensions.

   http://www.positioniseverything.net/explorer/escape-floats.html
   */
/* Hides from IE-mac \*/
* html .floatholder {height: 1px;}
/* End hide from IE-mac */

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

table caption
{
  font-weight: bold;
  margin-left: auto;
  margin-right: auto;
}