body {
  color: black;
  line-height: 125%;
  background-color: #ffffcc;
}

strong {font-weight: bold;}
strong.shout{font-size: 200%;}

pre {
  margin: 1em;
  padding: 0.5em 1em;
  background-color: #c0c0ff;
  color : black;
  border: 1px solid;
}

H1 {
  color: black;
  background-color: #c0c0ff;
  font-size: 160%;
  padding-left: 1em;
  margin-bottom: 0;
}
H2 {font-size: 125%;}
H3 {
  color: black;
  background-color: #c0c0ff;
  font-size: 120%;
  padding-left: 0.5em;
  margin-bottom: 0;
}
a:hover {
  color: #990000;
  background-color: #ffffff;
  /*font-weight: bold;*/
}
:visited {color: #0000cc;}
:link {color: #ff0000;}
a.nounder {
  color: black;
  text-decoration: none;
}
a.selflink {
  /*background-color: #ffffff;*/
}
span.redmark {
  color: red;
}
div.selfurl {
  text-align:right;
  font-size:90%;
}