pre.debug
{
	font-family: Courier;
	background-color: #99CCFF;
	text-align:left;
}

pre.code
{
	font-family: Courier New;
	background-color: #C0C0C0;
	text-align:left;
}



div.debug { 
background-color: #99CCFF; 
margin-left: 2%;
margin-right: 2%;
margin-top: 2%;
margin-bottom: 2%;

padding-left:2%;
padding-right:2%;

padding-top:1%;
padding-bottom:1%;

width:90%;
font-family:Courier

white-space: pre;

}


/* hide the calendar */
#Cal
{
display : none;
}


div.cmdprompt
{
font-weight:bold;
background-color: black;
color: #00FF00; 
}