better colorization

this time with CSS instead of <font>