/*
 * $Id: stylesheet.css,v 1.4 2004/01/25 19:17:40 srevilak Exp $
 * $Source: /home/srevilak/public_html/RCS/stylesheet.css,v $
 */

body {
  background: white;
} 

dt {
 font-weight: bold;
}

h2 {
  background: #eeeeee;
}

h3 { margin-top: 2em; 
     background: #eeeeee; 
     border-top: solid black thin;
     border-bottom: solid black thin;
}

pre {
  margin-left: 2.0em;
}

.indent { 
  margin-left: 2.0em; 
}

.small {
  display: inline;
  font-style: italic;
  font-size: 75%;
}