body, html {
	margin:0;
	padding:10px;
}
html {
	overflow-x:auto;
	overflow-y:scroll;
}
body {
	font-family: Georgia, "Times New Roman", Times, serif;
	font-size:100%;
}
h1 {
	border-bottom:2px solid #3BA1DE;
	letter-spacing:0.1em;
	margin-bottom:0;
	margin-top:0;
}
p {
	margin:.5em 0;
	padding:0;	
}
pre {
	font-family: monospace;
   white-space: pre;
	border:1px solid #666;
	background: #ffffe0;
	padding:1em;
	overflow:auto;
	color:blue;
	width:auto;
	max-width:100%;
	min-width:35em;
	font-size:1em;	
}