body {
	font-size: 12px;
  	font-family: sans-serif;
}
h1 {
	font-size: 18px;
}
h2 {
	font-size: 16px;
}
p {
	width: 700px;
}
pre {
	width: 700px;
	padding: 10px;
   	background: #fafafa;
        border: 1px dotted #666666;
        overflow: auto;
}
div.indcode {
	width: 500px;
	padding: 10px;
	background: #fafafa;
	border: 1px dotted #666666;
	overflow:auto;
}

ol {
	margin-top: 20px;
}
 
#footer {
	margin-top: 50px;
}