/* Stylesheet for use with code2html
 * Antoine mine' 09/30/2000
 *
 */

pre.code { 
	font-family: monospace;
	font-size: 100%;
	font-color: black;
	font-background: white;
	margin-left: 4%;
	margin-right: 4%;
}

pre.code .op {
	font-weight: bold;
	color: #361;
}

pre.code .key1 {
	font-weight: bold;
}

pre.code .key2 {
	color: #361;
}

pre.code .id1 {
}

pre.code .id2 {
	color: #228;
}

pre.code .com {
	color: #444;
	font-style: italic;
}

pre.code .str {
	color: #e22;
}

pre.code .char {
	color: #2e6;
}

pre.code .int {
}

pre.code .float {
}

pre.code .pre {
	color: #055;
}