prettify and CSS-Comb