
pre.codeLine {
margin-top: 0pt;
margin-bottom: 0pt;
}

p.codeComment {
	color: #007f00;
}

/* temporary fix until p.codeComment starts working */
div.codeBlock span.charspan-emphasis {
	color: #007f00;
}

SPAN.code, P.codeLine, P.codeComment, SPAN.codeLiteral {
font-size: small;
}


div.codeBlock {
margin-top: 8pt;
background-color: #d5d5d5;
font-size: medium;
}

