diff --git a/src/css/jsoneditor.css b/src/css/jsoneditor.css index 50ddc91..aca50ab 100644 --- a/src/css/jsoneditor.css +++ b/src/css/jsoneditor.css @@ -217,7 +217,7 @@ .jsoneditor td, .jsoneditor th, .jsoneditor textarea { - font-family: droid sans mono, monospace, courier new, courier, sans-serif; + font-family: droid sans mono, consolas, monospace, courier new, courier, sans-serif; font-size: 10pt; color: #1A1A1A; } diff --git a/src/js/ace/theme-jsoneditor.js b/src/js/ace/theme-jsoneditor.js index 8d77945..802e732 100644 --- a/src/js/ace/theme-jsoneditor.js +++ b/src/js/ace/theme-jsoneditor.js @@ -38,7 +38,7 @@ color: #333\ }\ \ .ace-jsoneditor.ace_editor {\ -font-family: droid sans mono, monospace, courier new, courier, sans-serif;\ +font-family: droid sans mono, consolas, monospace, courier new, courier, sans-serif;\ line-height: 1.3;\ }\ .ace-jsoneditor .ace_print-margin {\