body {  margin-top: 3px; margin-right: 3px; margin-bottom: 3px; margin-left: 3px; font-size: 10pt}
.small {  font-size: smaller}