body
{ 
  font-family: /*Verdana,*/ /*Helvetica,*/ /*Arial,*/ /*sans-serif,*/ monospace;
  font-size:   10pt;
  line-height: 140%;
}

h1 /* page title */
{
  font-size:   30pt;
  font-weight: normal;
}

h2 /* section titles */
{ 
  font-size:      10pt;
  font-weight:    bold;
  margin-top:     1.4em; /* same as #menu */
  margin-bottom:  0.5em;
  letter-spacing: 0.7em;
  color:          rgb(160,208,0);
}

h3 /* separator lines */
{ 
  font-size:     10pt;
  font-weight:   normal;
  margin-top:    0em;
  margin-bottom: 0em;
  color:         rgb(160,208,0);
}

a {text-decoration: none}
a:link    {color: rgb(0,64,255)}
a:visited {color: rgb(0,0,255)}
a:hover   {color: rgb(255,0,128)}
a:active  {color: rgb(255,0,0)}
a.black   {color: rgb(0,0,0); font-weight: bold}
a.pink    {color: rgb(255,0,255)}
a.pink:visited {color: rgb(255,0,255)}  /* IE bug */

.black    {color: rgb(0,0,0)}
.blue     {color: rgb(0,64,255)}
.green    {color: rgb(160,208,0)}
.grey     {color: rgb(160,160,160)}
.pink     {color: rgb(255,0,255)}

#menu
{
  float:       left;
  width:       18%;
  clear:       none;
  margin-left: 8px;
  margin-right: 0px;
  margin-top:  1.4em; /* same as h2 */
}

#text
{
  float:       right;
  width:       80%;
  clear:       none;
}

#footer
{
  float:       right;
  width:       80%; /* same as #text */
  clear:       both;
  font-size:   8pt;
  margin-top:  2em;
  color:       rgb(128,128,128); 
}