/* developers module #ccc */
p.code {
	font: normal 9pt monospace;
	display:block;
	background-color:#f8f8ff;
	border:5px solid #efefef;
	padding:5px;
	margin:5px;
	}