div.grid#main {
	padding: 0.5em;
	background: white;
}
div#main h1 {
	font-size: 18pt;
	font-weight: bold;
	text-align: center;
	padding-bottom: 0.25em;
}
div#main h2 {
	font-size: 16pt;
	font-weight: bold;
	padding-top: 0.5em;
}
div#main h2:first-child {
	padding-top: 0;
}

div#main h3 {
	font-size: 14pt;
	font-weight: bold;
}
div#main p {
	line-height: 1.5em;
	padding: 0.2em 0;
}

ul.text {
	padding-left: 2em;
}
ul.text li {
	line-height: 1.5em;
	padding: 0.2em 0;
}

ul.nav.parents {
	display: block;
	text-align: center;
	list-style-type: none;
	line-height: 1em;
	padding: 0;
	padding-bottom: 0.25em;
	border-bottom: 1px dotted black;
	margin: 0;
}
ul.nav.parents > li {
	display: inline-block;
	padding: 0 0.5em;
}
ul.nav.parents > li.current {
	display: none;
}
.deleted {
	text-decoration: line-through;
	color: red;
}
.inserted {
	text-decoration: underline;
	text-decoration-style: dashed;
	color: green;
}
.suspect {
	text-decoration: underline;
	text-decoration-style: wavy;
	text-decoration-color: red;
}

@media only print {
	ul.nav.parents {
		border: 0;
	}
}