/* Frontend styles for search results, highlighting, etc. */
mark { background: yellow; }