body {
	font-size: 14;
}
#regionHeader {
	margin-bottom: 0.5em;
	padding: 0.5em;
	background-color: beige;
	border-bottom: 1px solid gray;
}
#regionHeader td {
	font-size: 18;
}
table td {
	vertical-align: top;
}
a {
	text-decoration: none;
}
a.button {
	padding: 0.25em;
	border: 1px solid gray;
	color: #70705b; /*dark beige*/
	background-color: beige;
}
div.section {
	margin-bottom: 0.5em;
	padding: 0.5em;
}
div.definition {
	margin-bottom: 0.5em;
	padding: 0.5em;
	border: 1px solid gray;
	background-color: beige;
}
div.superSection {
	font-size: 16;
	font-weight: bold;
	background-color: #deffdc; /*pastel green*/
	margin-bottom: 0.5em;
	padding: 0.5em;
	border: 1px solid gray;
}
def {
	font-size: 16;
	font-weight: bold;
}
tab:before {
	content: "\00a0\00a0\00a0\00a0";
}