body {
  color: #000000;
  background-color: #ffddaa;
  font-size: small;
}
a.sec:link { color: #ffddaa;}
a.sec:visited { color: #ffddaa;}
a.sec:active { color: #ffddaa;}
a.sec:hover { color: #ffddaa;}
span.title { font-size: large; font-weight: bold; }
a.hed { font-size: medium; font-weight: bold; }
.maintitle { color: #660000; font-size: xx-large; font-weight: bold; }
.date { font-size: x-small; }
.it { font-style: italic; }
.bf { font-weight: bold; }
.secret { color: #ffddaa; }
.large { font-size: large; font-weight: bold; }
.number {
  text-align: center;
  font-weight: bold;
}
.E1 { font-weight: bold; font-size: medium; }
.E2 { font-weight: bold; font-size: large; }
.E3 { font-weight: bold; font-size: x-large; }
.E4 { font-weight: bold; font-size: xx-large; }
.S1 { font-size: xx-small; }