h1 {
  margin:2em 0 1em 0;
}
h2 {
  margin:1.5em 0 0.5em 2.5em;
  color:navy;
}
h3 {
  margin:1em 0 0.5em 0;
}
p {
margin:1em 0 1em 0;
  text-indent:2em;
}
pre {
  padding:0.5em;
}
table {
  border:1px solid #000;
}
table td {
  padding:1em;
}
div#toc {
  width:20em;
  display:block;
  position:relative;
  border:1px solid #aaa;
  background:#ddd;
  padding:.5em 1.5em .5em 1.5em;
  margin:.5em .5em .5em 3em;
}
#toc ul,
#toc ol {
  padding-left:.5em;
  margin-left:1em;
  font-size:95%;
}
#toc ol li ol li,
#toc ol li > ol > li,
#toc ol li > ul > li,
#toc ul li > ol > li,
#toc ul li > ul > li {
  font-size:93%;
}