div#header
{
  position: relative;
  margin-left: 210px;
  margin-right: 15%;
}

div#footer
{
  position: relative;
  margin-top: 20px;
  margin-left: 210px;
  margin-right: 15%;
  font-family: Arial;
  font-size: 10pt
}

div#left
{
  position: absolute;
  margin-top: 12px;
  left: 10px;
  top: 0px;
  width: 200px
}

#bcg
{
  float: right; 
  padding-top: 40px;
  padding-left: 20px;
  padding-bottom: 15px;
}


div#contents
{
  margin-left: 220px;
  margin-right: 15%
}

div#right
{
  position: absolute;
  right: 0px;
  top: 0px;
  width: 15%;
}

div.verbatim
{
  position: relative;
  left: 10px;
  color: gray;
  font-family: Lucida Console;
  font-size: 12pt
}

pre.lisp
{
 font-size: 10pt
}

body 
{
  background-color: #D5EBFF;
  color: black;
  font-family: Times;
  font-size:  12pt
}

.headerText
{
  color: #272783;
  background-color: #129AC7;
  border: solid white;
  padding: 25px;
  font-family: Arial;
  font-size: 30pt;
  text-align: center  
}

h1
{ 
  color: #272783;
  font-family: Arial;
  font-size: 25pt;
  text-align: left
}


a.link 
{
  text-decoration: none;
  color: navyblue;
  font-size: 16pt;
  font-family: Times
}

a.link:hover
{
  text-decoration: none;
  color: #FFFFFF;
  background-color: #129AC7;
}


p:first-letter
{ 
font-family: Times;
font-size: 16pt;
float: center	
}

table#Form {
}

td#FormHeader 
{
  background: #0C627E;
  color: white;
  font-family: Arial;
  font-weight: bold;
  text-align: center
}

td#FieldCaption 
{
  background: #129AC7;
  color: black;
  font-family: Arial;
  font-size: 10pt
}

td#Data 
{
  background: #99CCFF;
  color: black;
  font-family: Arial;
  font-size: 10pt
}

td#Column 
{
  background: #129AC7;
  color: white;
  font-family: Arial;
  font-weight: bold;
  font-size: 10pt
}