custom-highlight-options.html 181 B

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