@TomMalbran, if the value of `$(".CodeMirror").css("font-size")` always comes back in pixels, and I think it does, we don't have to check for ems, correct?  Or am I wrong about it always coming back as pixels?