Testing syntax highlighting with HTML