h3 {
	font-weight: bold;
}
ol {
	margin-top: 0;
	margin-bottom: 0;
	padding-left: 1.5em;
}    
pre {
	white-space: pre-wrap;
}