.body {
	color: #FFFF00;
	background-color: #000080;
	font-family: "Courier New", Courier, mono;
	font-size: 11px;
	font-weight: bold;
	border: 2px solid #FF0000;




}
.H1 {
	color: lightcyan ;
	background-color: royalblue ;
	font-weight: normal;
	font-size: small ;
	text-align: center;
	padding-bottom: 2px ;
}
.pre {
	margin:0;
	padding:0px;
	font-family: "Courier New", Courier, mono;
	text-decoration: none;
	font-size: 12px;




}
.highlight{
	background-color:#808080;
}
.comment {
	color: #999999;

}
.macro {
	color: #00FF00 ;
}
.keyword {
	color: #FFFFFF;
}
.constant {
	color: #00FFFF ;
}
.numeric{
	color: #00FFFF;
}
.literal{
	color: #00FFFF;
}
.symbol{
	color:White;
}
.container
{
	color:White;
}