h1 {
	font-size: 1.8em;
}
p.subh1 {
	font-size: 1.2em;
}
tt {
	font-weight: bold;
	display: block;
}
em {
	font-style: normal;
	font-weight: bold;
}
a {
	font-weight: bold;
}
dt {
	font-weight: bold;
}