body {margin: 1em 3em;
	}
	
pre
{
	background-color: #EEFFF9;
	border-left: #000080;
	border-width: 0 0 0 2px;
	border-style: none none none solid;
	padding: 0.5em 1em 0.5em 1em;
	margin: 0 3em 0 3em;
}

dt
{
	background-color: #F6F6F6;
	padding: 0.2em;
}
dd
{
	padding: 0.2em 0.5em 1em 0.5em;
}

.element { color: #066F11; }
.attribute { color: #AD1B87; }
.todo { background-color: #FFABFE; }