h1.pageTitle{
	font-size:xx-large;
	margin-bottom:0;
}
h1.pageSubTitle{
	font-size:x-large;
	margin-top:0;
}

p.credits{

}

.notice{ color:red; }

tt{ 
font-family:monospace; 
font-weight:normal; 
font-size:100%;
}

em.term{ 
font-style:normal; 
font-weight:bold; 
}