/* body */  
body 
     {
      background-color: #dddddd;
      color:            black;
      font-family:      Arial, Helvetica, sans-serif;
     }

/* paragraph */
p
     {
      line-height:      1.6;
     }

/* class */
.boilerplate
   {
   font-size:         small;
   }
.mono
   {
   font-family:       monospace;
   font-size:         140%;
   }
.program
   {
   font-family:       monospace;
   background-color:  #ccffcc;
   }
.exponent
   {
   font-size:         x-small;
   vertical-align:    super;
   padding-left:      2px;
   }
.italic
   {
   font-style:        italic;
   font-family:       Arial, Helvetica, sans-serif;
   }
.larger
   {
   font-size:         larger;
   line-height:       1.0;
   }
.overline
   {
   text-decoration:   overline;
   }
.subscript
   {
   font-size:         x-small;
   vertical-align:    sub;
   padding-left:      2px;
   }

/* headings */
h1,
h2
    {
     text-align:     center;
     font-weight:    bold;
     color:          blue;
    }

/* links */
a:link    {  color: navy;     }
a:visited {  color: maroon;   }
a:focus   {  color: blue;  }
a:hover   {  color: red;  }
a:active  {  color: red;  }

/* lists */
.blank-type
   {
   list-style-type: none;
   }