body         { font-family: Sans-Serif; font-size: 10pt }
td           { font-size: 10pt; }

pre.code {
    font-family: Monospace, Courier New, Courier;
    font-size: 8pt;
    background-color: #ffffe0;
    color: #000080;
}

ol li {
	padding-top: 2px;
	padding-bottom: 2px;
}

td.headinfo {
	font-size: 8pt;
}