.menublock {
  float: right;
  padding: 10px;
  border-style: solid;
  border-width: 1px;
  margin: 10px;
  margin-right: 0px;
  margin-top: 2px;
  background-color: #F0F0F0;
  width: 212px;
  z-index: 1;
}

.menublock a {
  text-decoration: none;
}

.menublock a:hover {
  background-color: #E1E1E1;
}

body {
  text-align: justify;
  background-color: white;
}

p.comments, p.commentprompt, p.permalink {
  display: inline;
}

pre {
  background-color: #f0f0f0;
  width: 100%;
  overflow: auto;
}

a:hover {
  background-color: #f0f0f0;
}

.ad1 {
  text-align: right;
}

.ad0 {
  text-align: center;
  float: none;
}

h1 {
  float: left;
}

.footer table {
  margin-right: 212px;
}

div.commentlevel {
  margin-left: 2em;
}

div.commenttitle {
  font-weight: bold;
}

div.commentauthor, div.commentemail, div.commentdate {
  color: gray;
}

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

.important {
  border-color: red;
  border-style: solid;
}

.aux {
  display: none;
}