pre {
		border: 1px solid black;
		border-color: #BBB #DDD #DDD #BBB;
		margin : 0px;
		padding : 1em;
		line-height: 1.5;
		background: white !important;
		overflow: auto;
		color: black !important;
	}
	
	code {
		font-size: 1.2em;
	}

	.line_no {
		color: #dddddd;
	}

	code .comment {
		color : #00c000; font-style: italic;
	}

	code .keywords {
		color : blue; font-weight:bold;  text-transform: uppercase; 
	}
	
	code .conditionals {
		color : blue; font-weight:bold;  text-transform: uppercase; 
	}
	
	code .flags {
		color: #A000A0; font-style: italic;
	}

	code .debug {
		color: red; font-weight: bold; text-transform: uppercase;
	}

	code .flow {
		color : blue; font-weight:bold;  text-transform: uppercase; 
	}

	code .number {
		color: red;
	}