We allow users to add `<mark>` to their markdown, but we don't have a
specific style for it. The bootstrap style is used by default, but it is
not one of our theme colors.

This MR adds an explicit style for `<mark>` tags in rendered markdown.

Changelog: added