BODY {
  background-color: #FFFFFF;
  color: #000000;
  font-family: garamond, "times new roman", serif; 
  font-size: 12pt;
  /* Need the margin-left,right below so that <UL>s snug against */
  /* parent text. */
  margin-left: .5%; 
  margin-right: .5%; 
}

H1 {
  font-family: arial, helvetica, verdana, sans-serif;
  font-size: 20pt;
}

H2 {
  font-family: arial, helvetica, verdana, sans-serif;
  font-size: 16pt;
}

CODE  {
  font-family: courier, monospace, serif;
  font-size: 12pt;
} 

UL {
  list-style-type: disc;
}

UL UL {
  list-style-type: circle;
}

PRE {
  font-family: courier, mono-space;
  font-size: 12pt;
  /* font-weight: bold; */
} 

/* File contents */
.file {
  color: black;
  white-space: pre;
  background-color: white;
  background: white;
  border-width: medium;
  border-color: black;
  border-style: outset;
  padding: .5em;
}

/* Sample output */
.out {
  /* Make it gray, but brighter than the keyword gray */
  color: #DDD;
  white-space: pre;
  background-color: black;
  background: black;
  border-width: medium;
  border-color: black;
  border-style: outset;
  padding: .5em;
}

/* Things done at the shell prompt */
.shell {
  color: #DDD;
  white-space: pre;
  background-color: black;
  background: black;
  border-width: medium;
  border-color: black;
  border-style: outset;
  padding: .5em;
}