@charset "iso-8859-1";

div.code { 
	background-color: #DDD;
	padding: 5px;
	border: 1px solid black;
	counter-reset: line;
}
div.code code span.line {
	display: block;
	counter-increment: line;
	line-height: 1.2em;
	margin: 0; padding: 0;
}
div.code code span.line:before {
	content: counter(line, decimal-leading-zero) ': ';
}