body { font-family: Arial, Helvetica, Geneva, sans-serif }
h2 {
	margin-bottom: 0;
	margin-top: 1.5em;
	border-top: 1px solid gray;
}
h3 {
	color: gray;
	margin: 1em 50% 0 0;
	padding-top: 0.1em; padding-left: 1em; padding-bottom: 0.2em;
	font-size: 1em;
	border-bottom: 2px dotted silver;
}

h2 + h3 {
	color: gray;
	margin: 0 50% 0 0;
	padding-top: 0; padding-left: 1em; padding-bottom: 0.2em;
	font-size: 1em;
}

.subtitle {
	font-size: 60%;
}

table, pre { background-color: white; margin-left: 1em; margin-right: 1em; width: 94%; border: 1px white solid;}

.file { font-family: "Courier New", Courier, mono; font-size: 100%; }
td.file { width: 30em; }
.changed { font-size: small; font-family: "Courier New", Courier, mono; }
.comment { color: gray; font-size: 80%; margin-left: 2em; padding-left: 2em; border-left: medium none }
a { font-weight: bold }
a:hover { color: red }
.navbar { margin-left: 2em; color: #33A339; font-size: smaller; background-color: #FFF400 }
.boxed { margin: 3em; padding: 1em; border: thick dotted brown; }
.boxtitle { font-size: 130%; color: brown; }
.sample {
	background-color: #DDDDDD;
	margin: 4px 4em 6px 1em;
	border: 2px #CCCCCC solid;
	padding: 4px;
}