Board Thread:Support Requests - Getting Technical/@comment-5068292-20141012153608/@comment-2170536-20141013052502

That was done by this If you want a built-in tag, the tag will handle the font, but you will need to add a CSS rule to change the background (and add the padding if you want it).

code { background: #ddd; padding: 0px 3px; }