DOCS: changed default font.
FIX: issue #514 (MOLD "^^" overzealous)