From 9dec69104d2a1ec9c06d0953b020ac52e0331425 Mon Sep 17 00:00:00 2001
From: gdamore <gdamore@users.noreply.github.com>
Date: Mon, 28 Jul 2025 21:27:00 +0000
Subject: deploy: cdcf4934610a2673727b4efad93b82191c3379eb

---
 ref/css/variables.css | 1 +
 1 file changed, 1 insertion(+)

(limited to 'ref/css/variables.css')

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 */
-- 
cgit v1.2.3-70-g09d2