.info, .info p { font-family:Verdana, Arial, Helvetica; font-size:10pt }
.info p { margin-top:2px; margin-bottom:2px; }
div.info { border:solid #000099 1px; padding:4px; }
.info ol {margin-top:3px; margin-bottom:3px; }