Thread:Sophiedp/@comment-36451270-20190809024350/@comment-24692230-20190809175705

Yeah, we just use CSS for it, see w:c:su:MediaWiki:Highlights.css.