body {		font-family: Arial; }

pre {		font-family: monospace;
		font-size: 8pt;
		background: #dedede; }

h1, h2, h3 {	font-family: Arial;
           	margin-bottom: 2px;
           	color: #004080; }

h1, h2 {	background: #E6E6FA; }

textarea {	margin: 7px;
        	font-size: 8pt;
        	width: 700px; }

pre {		width: 718px; }

#left {		float: left; width: 50%; }
#right {	float: left; width: 50%; }