pre     {
  background: #eeeeee;
  border: 1px solid #888888;
  color: black;
  padding: 1em;
  white-space: pre;
}

h1      {
  background: transparent;
  color: #006699;
  font-size: large;
}

h1 a { text-decoration: none; }
h2 a { text-decoration: none; }

h2      {
  background: transparent;
  color: #006699;
  font-size: medium;
}

img     {
  vertical-align: top;
}

.toc a  {
  text-decoration: none;
}

.toc li {
  line-height: 1.2em;
  list-style-type: none;
  text-decoration: none;
}