div.title {
   text-align: center;
}
div.title span.meek {
   font-size: 0.8em;
}
dl.doc dt {
   margin-left: 0.5em;
   font-weight: bold;
}
dl.doc dd ul {
   margin-left: -2em;
}
p.warning {
   font-size: 1.1em;
   border: solid thin;
}
span.alert {
   color: red;
   font-weight: bold;
}
span.alert strong {
   text-decoration: underline;
}
address {
   width: 98%;
   text-align: center;
}
address span.addrspace {
   margin-right: 30%;
   margin-left: 30%
}