body {
  font-family: Verdana, sans-serif;
  font-size: 12px;
  background: white;
  color: black;
}

a:link    { color: blue; }
a:visited { color: purple }
a:active  { color: red; }
a:hover   { color: red; }

h1 {
  font-size: 1.5em;
  font-weight: bold;
  margin-top: 0;
  text-align: center;
  margin-bottom: 1em;
}

h2 {
  font-size: 1.2em;
  font-weight: bold;
  margin-top: 1.5em;
  margin-bottom: -0.25em;
}

h3 {
  font-size: 1em;
  font-weight: bold;
  margin-top: 1.5em;
  margin-bottom: -0.5em;
}

table {
  font-size: 12px;
}

th {
  text-align: left;
  text-decoration: underline;
  font-variant: small-caps;
  padding-right: 1em;
}

td {
  vertical-align: top;
}

.content table {
  border-collapse: collapse;
  margin-left: 3em;
  margin-right: 3em;
}

.content td {
  text-align: left;
  border: 0.1em solid grey;
  padding: 0.25em 1em 0.25em 0.25em;
}

.list th {
  text-decoration: none;
  text-align: right;
}

.list td {
  border: none;
}

code {
  font-family: monospace;
  text-align: left;
}

li {
  text-align: left;
}

.title {
  font-size: 1.9em;
  font-weight: bold;
  text-align: center;
}

.menu {
  font-size: 1.1em;
  white-space: nowrap;
  float: left;
  margin-right: 1em;
}

.content {
  text-align: justify;
  float: left;
}

.code, .html, .callout {
  text-align: left;
  margin: 1.5em 5em 1.5em 5em;
  border: 1px dashed black;
  padding: 0.5em;
  background-color: #FFFFCC;
}

.code, .html {
  font-family: monospace;
}

.emph {
  font-weight: bold;
}

.demph {
  color: grey;
}

.highlight {
  background-color: yellow;
  font-weight: bold;
}

.error {
  background-color: red;
  color: white;
  padding: 0.2em;
}

.figure {
  margin: 0em 1em 0em 1em;
  font-size: .8em;
}

.keyword {
  color: blue;
}

.comment {
  color: green;
}

.asp {
  color: black;
  background-color: yellow;
}

.literal {
  color: blue;
}

.tag {
  color: brown;
}

.attribute {
  color: red;
}

.end {
  margin-top: 3em;
  border-top: 1px solid black;
  padding-top: 0.5em; 
  font-size: 0.75em;
}
