Comment by marcoms

Are the mono font's hard-coded? i.e. font-family: "custom font" vs. font-family: "monospace"