div.scannerTitle { font-weight: bold; text-align: center; margin-top: 1ex; }
div.scannerList { font-size: 8pt; }
div.scannerList ol { margin-top: 1ex; }