BODY {
  font-family: "Times New Roman", serif;
  background: white url(images/cells.gif) repeat ;
  margin-left: 5%;
  margin-right: 5%;
}

H1 {
  font-style: bold;
  font-family: "Times New Roman", serif;
  font-size: 200%;
  margin-left: -4%;
}

H2 {
  margin-left: -2%;
  font-family: "Times New Roman", serif;
  font-size: 150%;
}

.noindent {
  margin-left: -5%;
}

CODE {
  font-family: monospace;
  color: #105010;
  font-weight: bold;
}

PRE.example {
  color: #105010; font-weight: regular;
  white-space: pre; font-family: monospace;
  padding: 0.5em;
  border: none;
  background-color: white;
  width: 100%;
}

PRE.code {
  color: green; font-weight: bold;
  white-space: pre; font-family: monospace;
  background-color: #EEEEEE;
  padding: 0.5em;
  border: none;
  margin-left: 5%;
  margin-right: 5%;
}

P.reading {
  color: #105010;
  padding: 0.5em;
  border: none;
  background-color: white;
  width: 100%;
}

TABLE.sched {
  background: #DDDDFF;
}

TH {
  background: #8888FF
}