body {
   background: antiquewhite;
   }
table.titlebox {
   background: blue;
   }
table.titlebox td {
   color: white;
   font-size: 300%;
   }
table.titledate td {
   font-style: italic;
   font-weight: bold;
}
span.red {
   color: red;
   }
h1,h2,h3,h4,h5,h6 {
   font-family: sans-serif;
   color: darkblue;
}
h1.warning,h2.warning,h3:warning,h4:warning,h5.warning,h6:warning {
   font-family: sans-serif;
   color: red;
}
p.footnote {
   font-size: smaller;
   }
p.center {
   text-align: center;
   }
a:hover {
   color: red;
   }
kbd {
   font-weight: bold;
   }
dt.command {
   font-weight: bold;
   font-family: monospace;
   }