From 84e4dde3d786bdc5b5f6fb0e433e7be88a3e4a83 Mon Sep 17 00:00:00 2001 From: Felix Roos Date: Wed, 21 Jan 2026 00:15:00 +0100 Subject: [PATCH] mini tweaks --- website/src/repl/components/panel/Panel.jsx | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/website/src/repl/components/panel/Panel.jsx b/website/src/repl/components/panel/Panel.jsx index fa5a2b93..0eaa9b39 100644 --- a/website/src/repl/components/panel/Panel.jsx +++ b/website/src/repl/components/panel/Panel.jsx @@ -164,7 +164,7 @@ export function PanelToggle({ isEmbedded, isZen }) {