html/markdown: improve highlighting