body {
  background-color: #9abcde;
  color: black;
  margin-right: 1%;
  margin-left: 1%;
  margin-top: 1%;
  background-image: url("grep.gif");
  background-attachment: fixed;
  background-position: bottom left;
  background-repeat: no-repeat;
}
h1 {
  font-size: 100%;
  text-align: right;
  border-bottom-width: 1px;
  border-bottom-style: solid;
  vertical-align: bottom;
  height: 60px;
}
h3 {
  display: none;
}
div.menublock {
  width: 14%;
  float: left;
  background-color: #edcba9;
  font-family: helvetica, sans-serif;
  padding: 3px;
  border-style: dotted;
  border-width: 1px;
  border-color: #eaa867;
}
div.csschooser {
  float: left;
  font-size: 50%;
  width: 100%;
  border-top-style: solid;
  border-top-color: #eaa867;
  border-top-width: 1px;
}
a.menu-a:link {
  color: #3f362e;
  text-decoration: none;
}
a.menu-a:hover {
  color: #7f6d5b;
  text-decoration: underline;
}
a.menu-a:visited {
  color: #7f6d5b;
  text-decoration: none;
}
div.menuhead {
  font-size: 120%;
  font-weight: bold;
  font-variant: small-caps;
  margin: 2px;
  border-bottom-style: solid;
  border-bottom-color: #eaa867;
  border-bottom-width: 1px;
}
div.submenu {
  font-size: 90%;
  margin-top: 5px;
  margin-left: 2px;
  margin-right: 2px;
  font-weight: bold;
}
div.menuitem {
  font-size: 85%;
  margin-top: 5px;
  margin-left: 2px;
  margin-right: 2px;
}
div.data {
  text-align: justify;
  height: 85%;
  margin-left: 2%;
  padding-right: 5px;
  overflow: auto;
}
h2 {
  background-color: #bfbfbf;
  font-family: helvetica, sans-serif;
  padding-left: 32px;
  padding-right: 2px;
  padding-top: 2px;
  padding-bottom: 2px;
  border-color: #7f7f7f;
  border-style: dotted;
  border-width: 1px;
  margin-top: 0px;
  margin-left: 0px;
  margin-right: 0px;
  text-indent: -30px;
}
div.footer {
  font-size: 75%;
}
address {
  text-align: center;
}
.permalink {
  text-align: right;
  padding-right: 30px;
  font-family: monospace;
}
div.ad0 {
  text-align: center;
  margin-bottom: 1em;
}

div.ad1 {
  position: absolute;
  top: 1%;
  left: 1%;
}
div.commentlevel {
  border-width:1px;
  margin:5px;
  border-style:none;
  border-left-style:solid;
  border-top-style:dashed;
}
pre {
  width: 100%;
  overflow: auto;
}

.ad2 {
  float: right;
  margin-left: 1em;
}

.aux {
  display: none;
}