From 1b2bcd6dd9afe241488083ada5a2283f37307504 Mon Sep 17 00:00:00 2001 From: jos Date: Thu, 18 Jan 2018 20:32:01 +0100 Subject: [PATCH] Updated font-family --- src/jsoneditor/assets/ace/theme-jsoneditor.js | 2 +- src/jsoneditor/components/jsoneditor.css | 6 +++--- src/jsoneditor/components/jsoneditor.scss | 2 +- 3 files changed, 5 insertions(+), 5 deletions(-) diff --git a/src/jsoneditor/assets/ace/theme-jsoneditor.js b/src/jsoneditor/assets/ace/theme-jsoneditor.js index 3eba3c0..4e63e4d 100644 --- a/src/jsoneditor/assets/ace/theme-jsoneditor.js +++ b/src/jsoneditor/assets/ace/theme-jsoneditor.js @@ -38,7 +38,7 @@ color: #333 } .ace-jsoneditor.ace_editor { -font-family: droid sans mono, consolas, monospace, courier new, courier, sans-serif; +font-family: "dejavu sans mono", "droid sans mono", consolas, monaco, "lucida console", "courier new", courier, monospace, sans-serif; line-height: 1.3; } .ace-jsoneditor .ace_print-margin { diff --git a/src/jsoneditor/components/jsoneditor.css b/src/jsoneditor/components/jsoneditor.css index 340cc70..d87a4eb 100644 --- a/src/jsoneditor/components/jsoneditor.css +++ b/src/jsoneditor/components/jsoneditor.css @@ -196,7 +196,7 @@ div.jsoneditor-list { .jsoneditor-readonly, .jsoneditor-delimiter { line-height: 20px; - font-family: droid sans mono, consolas, monospace, courier new, courier, sans-serif; + font-family: "dejavu sans mono", "droid sans mono", consolas, monaco, "lucida console", "courier new", courier, monospace, sans-serif; font-size: 10pt; } .jsoneditor-property, @@ -555,7 +555,7 @@ textarea.jsoneditor-text { border: none; background-color: #fff; resize: none; - font-family: droid sans mono, consolas, monospace, courier new, courier, sans-serif; + font-family: "dejavu sans mono", "droid sans mono", consolas, monaco, "lucida console", "courier new", courier, monospace, sans-serif; font-size: 10pt; color: #1A1A1A; } @@ -571,7 +571,7 @@ div.jsoneditor-code { border-top: 1px solid #ffd700; } .jsoneditor-errors table { border-collapse: collapse; - font-family: droid sans mono, consolas, monospace, courier new, courier, sans-serif; + font-family: "dejavu sans mono", "droid sans mono", consolas, monaco, "lucida console", "courier new", courier, monospace, sans-serif; font-size: 10pt; } .jsoneditor-errors table td { padding: 3px 6px; diff --git a/src/jsoneditor/components/jsoneditor.scss b/src/jsoneditor/components/jsoneditor.scss index fcd322c..40163aa 100644 --- a/src/jsoneditor/components/jsoneditor.scss +++ b/src/jsoneditor/components/jsoneditor.scss @@ -1,6 +1,6 @@ @import './popover.scss'; -$fontFamily: droid sans mono, consolas, monospace, courier new, courier, sans-serif; +$fontFamily: "dejavu sans mono", "droid sans mono", consolas, monaco, "lucida console", "courier new", courier, monospace, sans-serif; $fontSize: 10pt; $black: #1A1A1A; $contentsMinHeight: 150px;