.base12 {  line-height: 140%}
h1 {  font-size: large; font-weight: bold; color: #FF0000}
h2 {  font-size: medium; font-weight: bold; color: #333399}
.mini10 {  font-size: x-small}