h1 {
	font-size: 180%;
}
h1.SUB {
	font-size: 125%;
}
h2 {
	border-style: solid;
	border-width: 0px 0px 1px 8px;
	border-color: rgb(50, 100, 0);
	padding-left: 0.25em;
	margin-top: 0.9em;
	margin-bottom: 0.5em;
}
span.itc {
	font-size: 50%;
	line-height: 50%;
}
pre.disp {
	font-size: 200%;
	margin-left: 1.5em;
}