body {
  background-color: white;
  font-family: Helvetica, Arial;
  margin: 0;
}

a, a:visited {
  color: #5980c5;
}

.highlight {
  font-size: 115%;
  padding: 1em;
  background-color: #faf1a3;
}

.alignleft {
  float: left;
  margin: 0;
}

.alignright {
  float: right;
  margin: 0;
}

#banner {
  padding: 1px 4px 1px 4px; 
  font-size: 8pt;
  background-image: url("../images/background.gif");
  margin: 0 0 1em 0;
  height: 1.4em;
  clear: both;
}

#banner a {
  color: black;
}

#banner a:hover {
  text-decoration: underline;
}

#footer {
  border-top: 1px dotted #666;
  text-align: center;
  padding: 1em 0em 1em 0em;
  margin: 0;
}

#main {
  margin: 2em;
  width: 700px;
  margin-left: auto;
  margin-right: auto;

}

#main h1 {
}

#main h3 {
  color: #555;
  text-align: center;
}

#navigation {
  text-align: center;
  margin: 0.5em 0 0.5em 0;
  border-top: 1px dotted #555;
  border-bottom: 1px dotted #555;
  padding: 1em 0 0.8em 0;
}

#navigation span {
  margin: 0 2em 0 2em;
}

#navigation span a {
  text-decoration: none;
}

#navigation span a:hover {
  text-decoration: underline;
}

#header, #comic {
  display: block;
  margin-left: auto;
  margin-right: auto;
  border: none;
}

dl dt {
  font-weight: bold;
  margin-top: 1em;
}

dl dd {
  margin: 1em;
  color: #555;
  line-height: 1.5em;
  font-size: 0.95em;
}

dl.faq strong {
  font-weight: normal;
  font-style: italic;
}


dl dd ul li {
  margin-top: 1em;
}

#toc {
  list-style: none;
  padding-left: 0;
  padding-bottom: 2em;
}

#toc li {
  padding-top: 0.5em;
}