body { background-color: #eef; }

a:link { color: #222 ; font-weight: bolder; text-decoration: none; }
a:visited { color: #222 ; font-weight: bolder; text-decoration: none; }
a:hover { color: #a80000 ; font-weight: bolder; text-decoration: underline; }

h1 { color:#4444AA; font-size:160%; font-weight:bold; }
h2 { color: #44a; font-size: 120%; font-weight: bold; }
p.author { font-size:smaller; }
span.code {
	font-family:monospace; 
	font-weight:bolder;
	color:rgb(51,51,51);
	white-space:nowrap;
}
span.codeWrapable {
	font-family:monospace; 
	font-weight:bolder; 
	color:rgb(51,51,51);
}
pre.code	{ padding:6pt 3mm 6pt 5mm; }
span.literal { font-weight:bolder; color:rgb(153,51,0); }