body { font-size:12pt; color:black; background-color: white;
       max-width: 800pt;}
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;
}