body {
  font-family: georgia, verdana, serif;
  margin: 20px 50px;
  width: 45em;
}

.small-title {
  font-family: courier new;
  font-size: 10pt;
  margin: 0px;
  color: green;
}

.mylink {
  font-family: georgia, verdana, serif;
  font-size: 10pt;
}

h1 {
  border-bottom: 1px solid;
  padding-bottom: 3px;
  margin-top: 2px;
  color: green;
  font-size: 30pt;
}

h2 {
  font-size: 20pt;
  color: darkblue;
}

h3 {
  font-size: 16pt;
  color: darkblue;
}

p,li {
  margin: 10px 15px 5px 15px;
  font-size: 12pt;
  line-height: 1.5em;
  text-align: justify;
}

p {
  margin-top: 18px;
}

code {
  padding-left: 0.15em;
  padding-right: 0.1em;
  background-color: #f9f9f9;
}

pre {
  margin-left: 3em;
  background-color: #f6f6f6;
  padding-top: 1ex;
  padding-bottom: 1ex;
}

.comment {
  margin-left: 4em;
  margin-right: 2em;
  font-size: 11pt;
  font-style: italic;
  color: darkgreen;
}

/* Planned functionality. */

.planned {
  border: 1px dotted lightgray;
  background-color: rgb(224,255,221);
  padding: 5px;
}

div.planned {
  margin-top: 20pt;
}
      
.planned code, .planned pre {
  background-color: rgb(219,255,215);
}

/* Table of contents and links. */

.toc_table {
  font: 10pt, verdana,sans-serif;
}

.toc_table .header {
  font-weight: bold;
  color: #666;
}

.toc_table a {
  text-decoration: none;
}

.toc_table td {
  vertical-align: top;
  padding-left: 1em;
  padding-right: 1em;
}

.toc_table ul {
  margin-left: 1em;
  padding-left: 1em;
}

.toc_table ul li ul {
  margin-left: 1ex;
  padding-left: 1ex;
}

.toc_table ul li {
  padding-left: 0;
  margin-left: 0;
  font-family: Arial, sans-serif;
  font-size: 10pt;
  text-align: left;
  line-height: 9pt;
  list-style-type: square;
  color: #CCC;
}

.toc_table ul li ul li {
  list-style-type: none;
  font-style: italic;
}

#contents li a {
  color: #55A;
}

#contents li a:hover {
  color: #66F;
}

#links li a {
  color: #5A5;
}

#links li a:hover {
  color: #6D6;
}

/* vim: sw=2 ts=2 et sts=2
*/