H1.overload
{
	border-top: thick solid gray;
	padding: 1em -1em;

	color: darkblue;
	font-family: "Arial", sans-serif;
	font-style: italic;
	font-size: +30;
		
}

H2.overload
{
	border-top: thin solid gray;
	padding: 1em -1em;

	font-family: "Arial", sans-serif;
	font-style: italic;
	font-size: +18;	
}

BODY.overload
{ 
	font-family: "Arial", sans-serif;
	font-size: +16;
	background: white;
	margin: 6%;
}


PRE.overload
{
	font-family: "Courier New", Courier;
	font-weight: bold;
   	font-size: +14;
	background-color: "#FFCC00"; /*B0C4DE; /* B0C4DE=light steel blue. yellow is good too */
	padding: 1em 1em;
	border-left: 3 solid gray;
	border-top: 3 solid gray;  
        border-right: 3 solid gray;
        border-bottom: 3 solid gray;  
	margin: 4%;
}

P.overloadend
{
	border-bottom: thick solid gray;
	padding: 1em 0em;
}

SPAN.CODE
{
	font-family: "Courier New", Courier;   
}

SPAN.COMMENT
{
	font-family: "Arial", sans-serif;
	font-style: italic;	
	color: green;
}

SPAN.FOOTNOTE
{
	color: green;
}

SPAN.KEYWORD
{
    color: black;
}