Updated font-family

This commit is contained in:
jos 2018-01-18 20:32:01 +01:00
parent 950463f3a9
commit 1b2bcd6dd9
3 changed files with 5 additions and 5 deletions

View File

@ -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 {

View File

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

View File

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