body {
	font: 9pt "courier new", monospace;
	white-space: pre;
}

a       { color: #339; background-color: inherit; }
a:hover { color: #903; background-color: inherit; }

/* Hide javascript-requiring mail links from non-javascript browsers. */
a#mail  { display: none; }