h1, h2.subtitle {
	text-align: center;
}

dt {
	margin-top: 1em;
	font-weight: bold;
}

code {
	font-family: "Courier New", Courier, monospace;
	font-size: smaller;
	font-weight: bolder;
	color: navy;
}

pre code {
	font-size: 100%;
}

.output {
	font-family: "Courier New", Courier, monospace;
	font-size: smaller;
	/*font-family: -moz-fixed;*/
}

table {
	border-top: 2px solid black;
	border-bottom: 2px solid black;
	border-left: none;
	border-right: none;
}

td, th {
	border-left: none;
	border-right: none;
	padding-right: 0.5em;
}

thead, tbody {
	border-top: 1px solid black;
	border-bottom: 1px solid black;
}