From be4c8cbdcedf9c3fafe0b49349b35546d29dd907 Mon Sep 17 00:00:00 2001
From: Felix Roos <flix91@gmail.com>
Date: Mon, 21 Oct 2024 22:47:05 +0200
Subject: [PATCH] hide docs link when embedded

---
 website/src/repl/components/Header.jsx | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/website/src/repl/components/Header.jsx b/website/src/repl/components/Header.jsx
index 8ccf7704..2789e4a1 100644
--- a/website/src/repl/components/Header.jsx
+++ b/website/src/repl/components/Header.jsx
@@ -56,9 +56,11 @@ export function Header({ context, embedded = false }) {
             <div className={cx(started && !isCSSAnimationDisabled && 'animate-pulse', 'space-x-2')}>
               <span className="">strudel</span>
               <span className="text-sm">REPL</span>
-              <a href={`${baseNoTrailing}/learn`} className="text-sm opacity-25">
-                DOCS
-              </a>
+              {!isEmbedded && (
+                <a href={`${baseNoTrailing}/learn`} className="text-sm opacity-25">
+                  DOCS
+                </a>
+              )}
             </div>
           )}
         </h1>