BODY { background-color: White; color: Black }
H1,H2,H3,H4 { font-family: Helvetica,Arial,Sans-Serif }
H1 { text-align: center }
DIV { margin-left: 5%; margin-right: 5% }
A[href] { color: #0077bb }
A.internal { color: #0077bb }
A.nav { color: #006622 }
A.nav:visited { color: #0077bb }
.unexists { color: #770055 }
.comment { font-size: 80%; color: #774400 }
Q { color: #404040 }

/* stolen from clim.css (in /serv/tunes/html) */
A[href]:hover, A.nav:hover {
	border: 1px solid black;
	text-decoration: none;
	margin: 0px }
A { margin: 1px }

CODE, PRE CODE {
	color: #802020;
	font-family : monospace;
	white-space : nowrap }

P CODE { margin-left: 0% }