body {
			font-family: 'DejaVu Sans', sans-serif;
			font-weight:bold;
			font-size:1em;
			margin:0;
			padding:0;
			line-height:1.4;
		}
		#wrapper {
			width:50em;
			margin:auto;
			padding:0 0.5em;
		}
		h1 {
			display:block;
			margin:0;
			padding:0;
			text-align: center;
			font-size:2em;
			margin:.7em 0;
			color:black;
		}
		h2 {
			display:block;
			margin:0;
			padding:0;
			text-align: left;
			font-size:1.4em;
			margin:.7em 0;
			color:black;
		}
		pre {
			font-size:1em;
			font-family: mono;
		}
		td {
			vertical-align:top;
		}
		#wrapper > * {
			margin-top: 0em;
		}
		.red {
			color:red;
		}
		.green {
			color:#00cc00;
		}
		.blue {
			color: #0000cc;
		}
		.magenta {
			color: #00cccc;
		}
		.magenta {
			color: #cc00cc;
		}
		.yellow {
			color: #cccc00;
		}
		.big { font-size:1.2em; }
		.box { border: solid 1px black; width:14em; margin:1em; line-height:1.5em; height:6em;text-align:center;}
		.comp { color:red; }
		.prog { color:blue; }
		.left { float:left; }
		.clear { clear:both; }
		.alt { opacity: 0.3; }