body {
	font-size: 12pt;
}

div.centered {
	text-align: center;
}

h1 {
	text-align: center;
}

th {
	text-align: left;
}

table.centered {
	margin-left: auto;
	margin-right: auto;
}

table, th, td {
	border-collapse: collapse;
	padding-left: 5px;
	padding-right: 5px;
	vertical-align: top;
}

table.framed, table.framed th, table.framed td {
	border-style: solid;
	border-width: 1px;
}

table.framed th {
	background: #aaffff;
}

pre {
	border-style: solid;
	border-width: 1px;
	border-color: black;
	padding: 5px;
	font-size: 10pt;
}

pre.code {
	background: #ffffcc;
}

pre.cmd {
	/*color: #55ff00;  /* green */
	color: #ffbf00;  /* amber */
	background: #000000;
}

span.code {
	font-family: courier;
}