body {
	background: #FFFFFF;
	font-family: "Palatino", "Palatine Linotype", serif;
	text-align: justify;
}

a {
	text-decoration: none;
	color: #B00000;
}

code.java b { color: #0000c0 }
code.java tt { color: #800000 }
code.java i { color: #008000 }
pre.sample b { color: #008000 }
pre.sample em { color: #0000c0 }
span.num { font-size: 80%; position: relative; bottom: .2ex }
span.den { font-size: 80%; margin-left: -.3em }