added a markdown extension for highlighting (the <mark> tag)