diff --git a/website/src/components/Header/Header.astro b/website/src/components/Header/Header.astro index cbc91ca0a..c3b1b9c30 100644 --- a/website/src/components/Header/Header.astro +++ b/website/src/components/Header/Header.astro @@ -26,15 +26,16 @@ const baseNoTrailing = BASE_URL.endsWith('/') ? BASE_URL.slice(0, -1) : BASE_URL title="Top Navigation" >
- +

🌀 -

- +
{/* KNOWN_LANGUAGE_CODES.length > 1 && */}
diff --git a/website/src/repl/components/Header.jsx b/website/src/repl/components/Header.jsx index 8d6e2f9a3..2789e4a1e 100644 --- a/website/src/repl/components/Header.jsx +++ b/website/src/repl/components/Header.jsx @@ -15,24 +15,19 @@ export function Header({ context, embedded = false }) { const { started, pending, isDirty, activeCode, handleTogglePlay, handleEvaluate, handleShuffle, handleShare } = context; const isEmbedded = typeof window !== 'undefined' && (embedded || window.location !== window.parent.location); - const { isZen } = useSettings(); + const { isZen, isButtonRowHidden, isCSSAnimationDisabled } = useSettings(); return (