BODY
  {
  background-color: #000000;
  color: yellow;
 
 
  font-family:
               comic sans MS,
               helvetica,
               veridana,
               courier new,
               tahoma,
               arial black,
               andale mono,
               comic sans MS,
               courier new,
               Helvetica,
               Veridana,
               Times New Roman,
               ;         
  font-size: 12 pt; 
  background-image: url(stars.gif); 
  }
h1 {color:yellow}
h2 {color:yellow}
h3 {color:yellow} 
h4 {color:yellow}
h5 {color:yellow}
h6 {color:yellow}
h7 {color:yellow}
pre {font-size: 110%}
A:active
         {
         background:transparent;
         color: yellow;
         }
A:visited
         {
         background:transparent;
         color: white;
         }
A:link
         {
         background:transparent;
         color: yellow;
         }
A:hover     
        {
        background: #0066ff;
        color: white;
        }
.hilite {
        color: black;
        background-color: #00CC00;
        border-style: solid;
	font-size:12 pt;
        }
.blackboard {
        color: white;
        background-color: black;
        border-style: outset;
        border-color: silver;
        border-width:6;
           }
.disptab {
        
        background-color: #009900;
        border-style: solid;
        border-width:3;
        border-color: #eeffff;
        font-size:12 pt;
        text-indent:1em;
          }
.ads
  {
  background-color: #ffeedd;
  color: black;
  font-size: 80%; 
  font-family: comic sans MS,
               helvetica,
               veridana,
               courier new,
               tahoma,
               arial black,
               andale mono,
               comic sans MS,
               courier new,
               Helvetica,
               Veridana,
               Times New Roman,
               ;         
  }                        
LI       { 
         margin-bottom: 10;
         margin-top:    10;
         }