/* Begin formatting for code blocks */

.userformat pre
{
	border: 1px solid #7ad;
	overflow: auto;
	max-height: 25em;
	font-family: monospace;
	font-weight: normal;
	line-height: 1.4em;
	padding: 0.5em;
	background-color: #f8fbff;
}

.userformat pre.commandline
{
	background-color: black;
	color: white;
	border-color: #888;
}

.userformat pre.code
{
	padding-top: 0;
}

.userformat pre.code:before
{
	content: attr(lang);
	text-transform: capitalize;
	display: block;
	font-weight: bold;
	color: black;
	background-color: #7ad;
	margin: 0 0 0 -0.5em;
	padding-left: 0.5em;
	font-family: sans-serif;
}

/* End formatting for code blocks */