.centered { text-align: center }
.tocheader { font-size: large }
.fineprint { font-size: x-small }
.larger { font-size: large }
BODY { background: #FFFFFF }
PRE { text-align: left ; margin-left: 1em }
