body {
/*  background-color: #ffffcc; */
  background-color: #ffffdd;
  margin: 0px;
/*  border: 1em solid #99cc66; */
  border: 1em solid #77aa55;
  padding: 2% 6%;
  font-style: normal;
  font-family: "Bitstream Vera Serif", "Luxi Serif", serif;
  font-size: 12pt;
  line-height: 16pt
}
h1 {
  text-align: center;
  font-family: "Bitstream Vera Sans", "Luxi Sans", sans-serif;
  font-size: 24pt;
}
h2 {
  text-align: center;
  font-family: "Bitstream Vera Sans", "Luxi Sans", sans-serif;
  font-size: 20pt;
}
hr {
  width: 100%; height: 5px;
  margin: 4ex 0px;
  background-color: #9999cc;
}
span {
  border: 3px solid;
  padding: 5px 10px;
  color: #ffffcc;
  background-color: #006699;
  text-align: center;
  font-family: "Bitstream Vera Sans", "Luxi Sans", sans-serif;
}
tt {
  color: #000000;
  background-color: #ddffbb;
  font-family: "Courier";
}
a:link {
  color: #0000ff;
}
a:visited {
  color: #9900ff;
}
a:hover {
  color: #800000;
}
a.rev:link {
  color: #ffffcc;
}
a.rev:visited {
  color: #ffffcc;
}
a.rev:hover {
  color: #ffcc99;
}
img.left {
  float: left;
  padding-right: 0.5em;
}
.Info {
  margin: 0 0 1ex 1em;
/*  background-color: #ffff99; */
/*  border: 5px dashed #9999cc; */
  background-color: #ffffbb;
  border: 3px dashed #7777aa;
  padding: 0 1em;
  width: 35%;
  float: right;
}