JavaScript to toggle highlighting HTML5 'mark' tags, to emphasise content.