Style: Don't use hyphenation in code

Otherwise the browser might add extra - in in-paragraph code which is
bad because code should always be verbatim.