From f03b64ffec4b4d11919bd4759e6d96b7ffd76e6e Mon Sep 17 00:00:00 2001 From: jos Date: Thu, 18 Jan 2018 20:16:44 +0100 Subject: [PATCH] Consistently use the same font everywhere (see #502) --- src/css/autocomplete.css | 2 +- src/css/jsoneditor.css | 2 +- src/js/ace/theme-jsoneditor.js | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/css/autocomplete.css b/src/css/autocomplete.css index a5af18b..8813d67 100644 --- a/src/css/autocomplete.css +++ b/src/css/autocomplete.css @@ -13,7 +13,7 @@ div.jsoneditor div.autocomplete.dropdown { padding-right: 5pt; text-align: left; outline: 0; - 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; } diff --git a/src/css/jsoneditor.css b/src/css/jsoneditor.css index 08d6fef..b1defa2 100644 --- a/src/css/jsoneditor.css +++ b/src/css/jsoneditor.css @@ -294,7 +294,7 @@ div.jsoneditor td, div.jsoneditor th, div.jsoneditor textarea, .jsoneditor-schema-error { - 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; } diff --git a/src/js/ace/theme-jsoneditor.js b/src/js/ace/theme-jsoneditor.js index 1e41b2e..790bfdd 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: \"dejavu sans mono\", \"droid sans mono\", consolas, \"lucida console\", monaco, \"courier new\", courier, monospace, sans-serif;\ +font-family: \"dejavu sans mono\", \"droid sans mono\", consolas, monaco, \"lucida console\", \"courier new\", courier, monospace, sans-serif;\ line-height: 1.3;\ background-color: #fff;\ }\