div.codearea { 
	margin: 0.5em 0;
	padding: 0;
	border: 1pt solid #DCDCDC;
	background-color: DarkSlateGrey;
	color: Gainsboro;
}

div.codearea pre {
	margin: 0;
	padding: 10pt;
	border: none;
}

/* format of syntax spans */
div.codearea pre span.Preproc    {color: #BFCFED;}
div.codearea pre span.Boolean    {color: #90FDCE;}
div.codearea pre span.Char       {color: #FAA07A;}
div.codearea pre span.Comment    {color: #FF7C00;}
div.codearea pre span.Number     {color: #0080C0;}
div.codearea pre span.String     {color: #FAA07A;}
div.codearea pre span.ResWord    {color: #00FFFF;}
div.codearea pre span.BaseType   {color: #90EE90;}