td {  font-size: 100%; line-height: 140%}
pre {  font-size: 100%; line-height: 140%}
.small {  font-size: 80%; line-height: 120%}
.mid {  font-size: 90%; line-height: 120%}