body {
    font-family: "Times New Roman", serif;
    font-size: 12pt;
    text-align: left;
    color: #000;
}

pre {
    font-size: 8pt;
    font-family: Courier;
    padding: 5px;
    border-top: 1px solid #333;
    border-bottom: 1px solid #333;
    }

#footer {display: none;}

.imgl  {float: left;  border: 1px solid #555; margin-top: .5em; margin-right: 1em; margin-bottom: 1em;}
.imgr  {float: right; border: 1px solid #555; margin-left: 1em;  margin-bottom: 1em;}