.maintext {  font-family: "Lucida Sans"; font-size: 2ex}
.smalltext {  font-family: Tahoma; font-size: xx-small}