diff --git a/website/src/pages/embed.astro b/website/src/pages/embed.astro
new file mode 100644
index 00000000..de8d2c2d
--- /dev/null
+++ b/website/src/pages/embed.astro
@@ -0,0 +1,14 @@
+---
+import HeadCommon from '../components/HeadCommon.astro';
+import { Repl } from '../repl/Repl.jsx';
+---
+
+
+
+
+ Strudel REPL
+
+
+
+
+
diff --git a/website/src/repl/Header.jsx b/website/src/repl/Header.jsx
index c9de3b75..1ea539fc 100644
--- a/website/src/repl/Header.jsx
+++ b/website/src/repl/Header.jsx
@@ -1,5 +1,5 @@
import AcademicCapIcon from '@heroicons/react/20/solid/AcademicCapIcon';
-import CommandLineIcon from '@heroicons/react/20/solid/CommandLineIcon';
+import ArrowPathIcon from '@heroicons/react/20/solid/ArrowPathIcon';
import LinkIcon from '@heroicons/react/20/solid/LinkIcon';
import PlayCircleIcon from '@heroicons/react/20/solid/PlayCircleIcon';
import SparklesIcon from '@heroicons/react/20/solid/SparklesIcon';
@@ -9,10 +9,9 @@ import React, { useContext } from 'react';
// import { ReplContext } from './Repl';
import './Repl.css';
-const isEmbedded = window.location !== window.parent.location;
-
export function Header({ context }) {
const {
+ embedded,
started,
pending,
isDirty,
@@ -25,32 +24,37 @@ export function Header({ context }) {
isZen,
setIsZen,
} = context;
+ const isEmbedded = embedded || window.location !== window.parent.location;
// useContext(ReplContext)
return (