better handling of syntax-highlighted code in html