Consistently use the same font everywhere (see #502)

This commit is contained in:
jos 2018-01-18 20:16:44 +01:00
parent f4dbd1938b
commit f03b64ffec
3 changed files with 3 additions and 3 deletions

View File

@ -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;
}

View File

@ -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;
}

View File

@ -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;\
}\