.constant{color:#008;}
.operator{color:#F00; font-weight:bold;}
.reserved{color:#00F;}
.variable{color:#080;}
.constant,.operator, .reserved, .variable, .code{font-family:Courier,Courier New; font-size:90%;}