Update code font

Eliminate duplication. Ensure all monospace fonts default to the same thing.