Add highlighting for HTML example