body {
  background: white;
  color: black;
  font: 90% Sans-serif;
  margin-top: 0;
  margin-left: 12%;
  margin-right: 12%;
}
div.header {
  clear: both;
  height: 70px;
  background-image: url("./bghead.jpg");
  padding-top: 20px;
  padding-left: 20px;
}
div.pagetitle{
  padding-top: 30px;
  padding-right: 10px;
  font-size: 150%;
  float: right;
  color: #005555;
}
h1 {
  background: #bbddff;
  border-color: #5588aa;
  border-style: solid;
  border-width: 1px 1px 2px;
  font-size: 160%;
  font-weight: normal;
  padding-left: 10px;
}
h2 {
  background: #eeeeff;
  border-bottom: 1px solid #5588aa;
  border-left: 10px solid #5588aa;
  padding-left: 10px;
  font-size: 120%;
  font-weight: normal;
}
h3 {
  border-bottom: 1px solid #88bbcc;
  font-size: 110%;
  font-weight: normal;
  padding-left: 10px;
}
hr {
  height: 5px;
  margin-left: 10%;
  margin-right: 10%;
  border: 1px solid #aaaaaa;
}
pre {
  background-color: #eeeeff;
  border: 1px solid #5588aa;
  padding: 1em;
  overflow: auto;
}
code {
  font-size: 110%;
}
div.jump {
  clear: both;
  color: #0000cc;
  font-size: 85%;
  text-align: right;
}
img.image-right {
  border: 1px solid black;
  clear: both;
  float: right;
  margin: 0.5em;
  vertical-align: middle;
}
img.open {
  margin: 30px;
}