Primitive highlight.html