body { font-size:11pt; color:black; background-color:white; line-height:1.2;}
h1 {font-size:20pt; font-weight:bold}
em { font-size:11pt}
td { font-size:11pt }
th { font-size:11pt }
li { font-size:11pt }
a  { font-size:11pt }
#terminfo, #terminfo A { font-size:10pt }