a:link { color: rgb(0,0,153) }
a:visited { color: rgb(153,0,153) }
h1.title { text-align: center }
h2.date { text-align: center }
p.logo { text-align: left }
div.ToC { margin-left: 1em }
div.ToC ol li { list-style-type: decimal }
div.ToC ul li { list-style-type: none }
ol.alpha { list-style-type: lower-alpha }
span.uri { font-style: sans-serif }
div.dtd {
  font-size: 80%;
  padding: 0.5em;
  color: black;
  background-color: #EEE;
  font-family: "Courier New", monospace;
  margin-left: 0;
  margin-right: 0;
  border: thin double maroon;
}
cite { font-style: italic }
code {
  font-family: "Courier New", monospace;
}
pre { font-family: "Courier New", monospace }
.warning {
  color: red;
  margin-left: 1em
}
.note {
  color: green;
  margin-left: 1em
}
.note pre {
  color: black;
  font-family: "Courier New", monospace;
  font-style: normal;
  margin-left: 1em;
}