.title1 {
  font: bold 12px "Verdana", "Arial", "Helvetica", "sans-serif";
  color: #CC0000;
  margin-left: 10px;
}

.content         {  font: 11px/16px "Verdana", "Arial", "Helvetica", "sans-serif"}

.menu3           {  font: 10px "Arial", "Helvetica", "sans-serif"; color: #CC3333}
A.menu3:link     {  color: #CC3333; text-decoration: none}
A.menu3:visited  {  color: #CC3333; text-decoration: none}
A.menu3:hover    {  color: #FF9900; text-decoration: underline}

.small            {  font: 10px "Arial", "Helvetica", "sans-serif"}
A.small:link      {  color: #0000FF; text-decoration: none}
A.small:visited   {  color: #0000FF; text-decoration: none}
A.small:hover     {  color: #FF0000; text-decoration: underline}

.no_match {
  font: 10px "Arial", "Helvetica", "sans-serif";
  margin-left: 10px;
}

body { background-color: #CBD5DA; }

ol {
  margin-bottom: 0px;
}


div { margin-left: 2.5em; }


.heading {
  font: bold 13px "Verdana", "Arial", "Helvetica", "sans-serif";
  padding-left: 5px;
}

.backbutton {
  padding-left: 40px;
  font: 10px "Arial", "Helvetica", "sans-serif";
  color: #CC3333;
}

.backbutton a:link     {  color: #CC3333; text-decoration: none}
.backbutton a:visited  {  color: #CC3333; text-decoration: none}
.backbutton a:hover    {  color: #FF9900; text-decoration: underline}