body {
	padding: 10px;
	margin:0;
	background-color:#036;
	color:#fff;
	font-size:9pt;
}
pre {
	background-color:#369;
	border: solid 1px #9cf;
	padding: 5px;
	overflow: auto;
}
.point {
	color: #fc0;
}