From 3d3130e8801729be0f34aaf08c314a887e7dd050 Mon Sep 17 00:00:00 2001 From: Felix Roos Date: Tue, 20 Jan 2026 22:19:32 +0100 Subject: [PATCH] fine tune --- website/src/repl/components/Header.jsx | 2 +- website/src/repl/components/panel/Panel.jsx | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/website/src/repl/components/Header.jsx b/website/src/repl/components/Header.jsx index 29895deaf..21d05c0e9 100644 --- a/website/src/repl/components/Header.jsx +++ b/website/src/repl/components/Header.jsx @@ -113,7 +113,7 @@ export function Header({ context, embedded = false }) { {!isEmbedded && ( ); }