diff options
Diffstat (limited to 'css/variables.css')
| -rw-r--r-- | css/variables.css | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/css/variables.css b/css/variables.css index 56b634b..21bf8e5 100644 --- a/css/variables.css +++ b/css/variables.css @@ -6,6 +6,8 @@ --page-padding: 15px; --content-max-width: 750px; --menu-bar-height: 50px; + --mono-font: "Source Code Pro", Consolas, "Ubuntu Mono", Menlo, "DejaVu Sans Mono", monospace, monospace; + --code-font-size: 0.875em /* please adjust the ace font size accordingly in editor.js */ } /* Themes */ |