body { font-size: 0.81em }

.highlight {
	color: #ff7b00;
}
.bab {
	color: #ff7b00;
	font-weight: bold;
}
span.distribution {
	color: #000000;
	font-weight: bold;
}

a {
	color: #ff7b00;
	text-decoration: none;
	font-weight: bold;
}
a:hover { text-decoration: underline }

h1 {
	color: #3a505f;
	font-size: 1.69em;
	font-weight: normal;
}
	h1 .bab,
	h1 .distribution { font-size: 1.09em }

h2 {
	font-size: 1.38em;
	font-weight: normal;
}
h3 {
	font-size: 1.23em;
	font-weight: normal;
}

p { }