diff options
Diffstat (limited to 'ref/css/variables.css')
| -rw-r--r-- | ref/css/variables.css | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ref/css/variables.css b/ref/css/variables.css index 5742d241..3854b3a7 100644 --- a/ref/css/variables.css +++ b/ref/css/variables.css @@ -11,6 +11,7 @@ --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 */ + --searchbar-margin-block-start: 5px; } /* Themes */ |