- Replaces the ambiguous 'ui-monospace' keyword with concrete font
  names in the JSON editor's font stack
- Fixes the highlighted overlay and the underlying textarea resolving
  to different actual fonts on some browsers, which caused the caret
  to drift far from the visible text on long lines