Thread:Kirkburn/@comment-118323-20170302184921/@comment-126761-20170302190700

Aye, that's the one used on rendered pages I believe.

Also https://www.mediawiki.org/wiki/User:Remember_the_dot/Syntax_highlighter (for classic editor wikitext highlighting) and the Ace editor (for the CSS/JS/Lua editor).