table {
 border:4px inset black;;
 border-collapse:collapse;
 margin:0 auto;
 width:95%;
}
caption {
 color:#04559F;
 font-size:120%;
 font-weight:bold;
 margin:1em;
}
table pre {
 font-size:110%;
 margin:1.5em 0 1.5em 3em;
}
table td {
 width:50%;
}
td {
 background:#DDDDDD;
 border:1px inset black;
 padding:1em;
 vertical-align:top;
}
td dt{
 color:#04559F;
 font-weight:bold;
}
td dd {
 margin-left:0;
}
td div.warning {
 font-size:85%;
}
div.flags {
 margin:1.5em 0 -1em;
}