improve HTML syntax highlighting