body{margin:0;padding:0;background:#E6E1CA;}
.code{
			white-space: nowrap;
			background-color:#F5F5F5;background-color:#E6E1CA;
			font-family:Courier New;color:blue;
			font-size:10pt;margin:0;
			}
.code p{margin-top:3px;}			
pre, pre code{color:blue;margin:0;padding:0;}
pre code span.noir, span.noir{color:black;}	
pre code span.bleu, span.bleu{color:#0000FF;}
pre code span.gris, span.gris{color:#808080;}	
pre code span.rouge, span.rouge{color:#ff0000;}	
pre code span.vert, span.vert{color:darkgreen;}	
pre code span.bleuvert, span.bleuvert{color:#2B91AF;}	
	
.indent1, .indent2, .indent3 {margin-left:20px;}