body
{
  font-family: Arial; 
  font-size: 80%;
  background: #FFFFFF;
}

blockquote
{
  margin-top: 4pt;
  margin-bottom: 4pt;
}

h1
{ 
  font-family: Arial; 
  font-size: 200%;
  font-weight: bold; 
  margin-left: 32pt;
  margin-top: 24pt;
  margin-bottom: 12pt;
}

h2
{ 
  font-family: Arial; 
  font-size: 150%;
  font-weight: bold; 
  margin-left: 32pt;
  margin-top: 16pt;
  margin-bottom: 8pt;
}

h3
{ 
  font-family: Arial; 
  font-size: 100%;
  font-style: italic;
  font-weight: bold; 
  margin-left: 32pt;
  margin-top: 12pt;
  margin-bottom: 4pt;
}

p
{
  margin-top: 8pt;
  margin-bottom: 0pt;
}

A:hover
{
  color: #FF0000;
}

blockquote
{
  margin-top: 0pt;
  margin-bottom: 0pt;
}

ul
{
  margin-top: 0pt;
  margin-bottom: 0pt;
}

ol
{
  margin-top: 0pt;
  margin-bottom: 0pt;
}

.term
{ 
  color: #3366FF;
  font-weight: bold;
}

.program
{ 
  font-family: Courier New;
  font-size: 100%;
}

.reservedword
{ 
  font-family: Courier New; 
  font-size: 100%;
  font-weight: bold; 
}

div.program
{
  background-color: #FFFFEE;
  border-color: #4488EE;
  border-style: solid;
  border-width: 1px;
  margin-left: 20px;
  margin-right: 20px;
}

img
{
  border-style: none;
  border-width: 0;
}

table
{
  font-family: Arial; 
  font-size: 100%;
}

table.Definition
{
  background: #FFFFEE;
  border-collapse: collapse;
  border-color: #FFDD88;
  border-style: solid;
  border-width: 2px;
  color: #0044FF;
  font-family: Arial; 
  font-size: 100%;
}

table.Definition td {
  padding: 1px 16px 1px 16px;
}

table.Program
{
  background: #FFFFEE;
  border-collapse: collapse;
  border-color: #4488EE;
  border-style: solid;
  border-width: 1px;
  margin-left: 20px;
  width: 95%;
}

table.Title
{
  background: #0052C6;
  color: #FFFFFF;
  font-family: Arial; 
  font-size: 120%;
  font-weight: bold; 
  width: 420px;
  border-collapse: collapse;
  border-style: none;
  border-width: 0px;
  margin: 0px 0px 12px 0px;
  spacing: 0px 0px 0px 0px;
  padding: 0px 0px 0px 0px;
}

table.Title td {
  padding: 0px 0px 0px 0px;
}