h1      {
          color: black;
          text-align: center
        }
h2      {
          color: black;
          text-align: center;
          vertical-align: top
        }
h3      {
          color: #0000D0;
          text-align: left
        }
h4	{
          color: #0000D0;
    	  text-align: left;
	  text-decoration: underline
        }
body    {
          background-color: white;
          color: black;
          margin: 15px
        }
sub     {
          font-size: 80%
        }
sup     {
          font-size: 80%
        }
dt      {
          color: #D00000;
          font-weight: bold
        }
hr      {
          color: black;
  	  height: 1;
  	  background-color: white;
	  vertical-align: top
	}
tt   {
  font-weight: bold;
  font-family: Courier new, monospace;
}
.ccode  {
          color: #903000;
          font-weight: bold
        }
.bcode  {
          color: #FF0000
        }
.tab    {
          background-color: #A0A0FF
        }
.term   {
          color: blue;
          font-style: italic
        }
.small  {
         font-size: smaller
        }
.plansep {
         background-color: #C090E8
         }
.write  {
          color: #D00000
        }
.red    {
          color: red
        }
.darkred{
          color: #D00000
        }
.th     {
          background-color: #C090E8;
          text-align: center
        }
.grey     {
          background-color: #D0D0D0;
          text-align: center
        }
A:link    {
            color: blue;
            font-style: italic;
            text-decoration: none
          }
A:visited {
            color: #3160E1;   
            font-style: italic;
            text-decoration: none
          }
A:active  {
            color: red;
            font-style: italic;
            text-decoration: underline
          }
A:hover   {
            color: red;
            font-style: italic;
            text-decoration: underline
          }
hr.raise  {
            position: relative;
            top: -1ex  
          }
.overline {
  text-decoration: overline
}
.fbox {
  border-color: black;
  border-style: solid;
  border-width: 1px;
  background-color: #FEFDE8;
  width: 90%;
  padding: 1mm
}