webpage: Stylize pre.prettyprint