#postamble { display: none }
html { font-size: medium; font-family: arial, helvetica }
code { background-color: #f0f0f0 }