<div id="snippet-custom-highlight-options"> <p> Here are defined highlighters: <mark class="marker-green">green one</mark> and <mark class="pen-red">red one</mark>. </p> </div>