body
{
   font-family: Trebuchet MS, Arial, sans-serif;
   margin: +32pt;

   background-color: #ffffff;
   color           : #000000;
}

a:link    {color: #0000a0;  }
a:visited {color: #000080;  }
a:active  {color: #0000a0; font-family: serif; font-size: 14pt;}
a:hover   {color: #0000a0; font-family: serif; font-size: 15pt;}

a:link, a:visited, a:active, a:hover
   {background-color: #c0c000;}

.disadv
{
   color           : #ffff00;
   background-color: #0000ff;
   font-style      : italic;
}

.CodeExample
{
   font-family     : monospace;
   white-space     : pre;
   color           : yellow;
   background-color: blue;
   text-align      : left;
}

li.spacious
{
   padding: 0.3em;
}

/* Some further formatting for tables, not really used in this example site */
table, td, thead, th
{
   padding-top   : 0.3ex;
   padding-bottom: 0.7ex;
   padding-left  : 0.5em;
   padding-right : 1.0em;
   border        : 0.03em solid #007777;
}
thead, th
{
   vertical-align: bottom;
   font-size     : 13pt;
}

td
{
   vertical-align: top;
   font-size     : 11pt;
}