body { font-size:12pt; color:black; background-color:white}
h1 {font-size:20pt; font-weight:bold}
em { font-size:12pt}
td { font-size:12pt }
th { font-size:12pt }
li { font-size:12pt }
a  { font-size:12pt }
#terminfo, #terminfo A { font-size:10pt }
.important {
	font-style: italic;
	font-weight: bold;
	color: #F00;
}
.sourcecode {
	font-family: "Courier New", Courier, monospace;
	color: #30C;
}