Nemcio/Grav-Admin-Plugin
1
0
Fork 0
mirror of https://github.com/getgrav/grav-plugin-admin.git synced 2026-09-02 03:57:07 +02:00
Code Issues Packages Projects Releases Activity

sans-serif codemirror font for better readibility

Browse Source
This commit is contained in:
Andy Miller
2018-01-23 15:31:21 -07:00
parent e261ac532c
commit 651b9a0426
2 changed files with 5 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
themes/grav/scss/simple-fonts.scss
View File

@@ -2,10 +2,11 @@ body, h5, h6,
.badge, .note, .grav-mdeditor-preview,
input, select, textarea, button, .selectize-input,
h1, h2, h3, h4,
#admin-menu li, .form-tabs > label, .label {
#admin-menu li, .form-tabs > label, .label,
body .CodeMirror pre {
font-family: "Helvetica Neue", "Helvetica", "Tahoma", "Geneva", "Arial", sans-serif;
}
code, kbd, pre, samp,
body .CodeMirror {
code, kbd, pre, samp {
font-family: "Monaco", "Consolas", "Lucida Console", monospace;
}

1
themes/grav/scss/template/_editor.scss
View File

@@ -216,6 +216,7 @@
&.CodeMirror {
color: $paper-fg;
line-height: 1.4;
font-size: 16px;
}
.cm-link {color: #0082ba;}