From 943d78f268624cc68fe40b94ec9d890bed499b0d Mon Sep 17 00:00:00 2001 From: Felix Roos Date: Thu, 25 Jul 2024 16:44:02 +0200 Subject: [PATCH] better spacing in zen mode --- website/src/repl/Header.jsx | 2 +- website/src/repl/Repl.jsx | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/website/src/repl/Header.jsx b/website/src/repl/Header.jsx index 748b84e4..d6c06445 100644 --- a/website/src/repl/Header.jsx +++ b/website/src/repl/Header.jsx @@ -52,7 +52,7 @@ export function Header({ context }) { )} >
{ if (!isEmbedded) { setIsZen(!isZen); diff --git a/website/src/repl/Repl.jsx b/website/src/repl/Repl.jsx index e20551c4..039c2754 100644 --- a/website/src/repl/Repl.jsx +++ b/website/src/repl/Repl.jsx @@ -250,7 +250,7 @@ export function Repl({ embedded = false }) { )}
{ containerRef.current = el;