/*<meta />*/

pre, code {
	background-color: #DADADA;
}

pre,
div.warning,
div.furtherinformation,
div.note {
	padding: 1em;
}

div.warning {
	background-color: #FDCFD3;
}

div.furtherinformation {
	background-color: #CFEAFD;
}

div.note {
	background-color: #FFFF99;
}