diff options
| author | johannst <johannst@users.noreply.github.com> | 2022-12-21 22:24:31 +0000 |
|---|---|---|
| committer | johannst <johannst@users.noreply.github.com> | 2022-12-21 22:24:31 +0000 |
| commit | ead2ca2cfa3774af733c613ea03d9b4f3d10fbdf (patch) | |
| tree | 495b5de1bd2f37536a471a6ce5b27d8a303e513f /css/variables.css | |
| parent | 2dfbc312e6ccb88f838170d8e777d48aacde2ff5 (diff) | |
| download | notes-ead2ca2cfa3774af733c613ea03d9b4f3d10fbdf.tar.gz notes-ead2ca2cfa3774af733c613ea03d9b4f3d10fbdf.zip | |
deploy: 4a8c8c7520419cbaa01b26353ef35e357c5d1ecf
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 */ |