Use "Menlo" for all fixed-width text needs

Apple has finally graced us with a better-looking fixed-width font than
Courier in iOS 7. We already switched to it in the YOSPOS themes, but
forgot about code tags and such.