body {
  background-color: #FFFFFF;
  color: #000000;
  font-family: sans-serif;
  font-size: 12pt;
}
div.header {
  position: absolute;
  top: 0px;
  left: 0px;
  width: 100%;
  height: 42px;
  background-color: #FFF070;
  text-align: right;
  font-style: italic;
  font-size: 120%;
}
a.hdrlink {
  padding: 0.4em;
}
div.navspace {
  position: absolute;
  top: 0px;
  left: 0px;
  font-size: 100%;
  width: 150px;
  background-color: #771800;
  color: #FFF070;
  text-align: center;
  font-weight: bold;
}
div.navbefore {
  width: 150px;
  height: 60px;
  display: block;
  background: url("grad2.png");
}
div.navafter {
  width: 150px;
  height: 70px;
  display: block;
  background: url("grad1.png");
}
div.document {
  position: absolute;
  top: 80px;
  left: 190px;
  right: 20px;
}
:link {
  color: #CC3306;
  text-decoration: none;
  font-weight: bold;
  font-family: Verdana, Arial;
}
:visited {
  color: #BB7733;
  text-decoration: none;
  font-weight: bold;
  font-family: Verdana, Arial;
}
a.navlink {
  color: #FFF070;
  text-decoration: underline;
  font-family: Verdana, Arial;
  padding: 0.3em;
}
a.navlink:visited {
  color: #DD7710;
  text-decoration: underline;
  font-family: Verdana, Arial;
  padding: 0.3em;
}
a.navhere {
  color: #FFFFFF;
  text-decoration: none;
  font-family: Verdana, Arial;
  padding: 0.3em;
}
a.navhere:visited {
  color: #FFFFFF;
  text-decoration: none;
  font-family: Verdana, Arial;
  padding: 0.3em;
}
h3.hidden {
  display: none;
}
h1.title {
  color: #771800;
  padding-left:3pt;
  margin-top:2pt;
  margin-bottom:8pt;
  font-size: 210%;
}
h1 {
  color: #771800;
  padding-left:3pt;
  margin-top:28pt;
  margin-bottom:8pt;
  font-size: 175%;
}
dt {
  padding-top: 1em;
  padding-bottom: 0.3em;
  font-style: italic;
}
li {
  padding-bottom: 0.3em;
}
pre {
  padding-left: 2em;
  padding-top: 0.7em;
  padding-bottom: 0.7em;
  background-color: #FFFFA0;
  font-weight: bold;
}