body {
	font-size: 12px;
	line-height: 1.3em;
}

div.code{
	padding: 6px;
	border: 1px solid #BBDDFF;
	background-color: #DDEEFF;
	font-family: monospace;
}