:link { color: rgb(0,0,153) }
: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;
}