diff options
| author | gdamore <gdamore@users.noreply.github.com> | 2025-07-28 21:27:00 +0000 |
|---|---|---|
| committer | gdamore <gdamore@users.noreply.github.com> | 2025-07-28 21:27:00 +0000 |
| commit | 9dec69104d2a1ec9c06d0953b020ac52e0331425 (patch) | |
| tree | e09d7629c0602be68a0426e69b055ad99fb1b4a1 /ref/css/variables.css | |
| parent | e4d202a4eb2bb32127029b6db15e7b90f20ac1a3 (diff) | |
| download | nng-9dec69104d2a1ec9c06d0953b020ac52e0331425.tar.gz nng-9dec69104d2a1ec9c06d0953b020ac52e0331425.tar.bz2 nng-9dec69104d2a1ec9c06d0953b020ac52e0331425.zip | |
deploy: cdcf4934610a2673727b4efad93b82191c3379eb
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 */ |