From f84d5ba3a02d7d498cef44df7baaee654ab378b0 Mon Sep 17 00:00:00 2001
From: Felix Roos <flix91@gmail.com>
Date: Sun, 1 Oct 2023 13:44:41 +0200
Subject: [PATCH] add back some margin

---
 packages/codemirror/slider.mjs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/packages/codemirror/slider.mjs b/packages/codemirror/slider.mjs
index a4ee6a93..47bb7509 100644
--- a/packages/codemirror/slider.mjs
+++ b/packages/codemirror/slider.mjs
@@ -37,7 +37,7 @@ export class SliderWidget extends WidgetType {
     slider.from = this.from;
     slider.originalFrom = this.originalFrom;
     slider.to = this.to;
-    slider.className = 'w-16 translate-y-1';
+    slider.className = 'w-16 translate-y-1 mr-1';
     this.slider = slider;
     slider.addEventListener('input', (e) => {
       const next = e.target.value;