Use built-in higlighting (backend-side) feature
Add highlighting stylesheet