+
{/* KNOWN_LANGUAGE_CODES.length > 1 && */}
diff --git a/website/src/docs/MiniRepl.jsx b/website/src/docs/MiniRepl.jsx
index 81e7a24a3..0f3d3ce10 100644
--- a/website/src/docs/MiniRepl.jsx
+++ b/website/src/docs/MiniRepl.jsx
@@ -36,7 +36,7 @@ export function MiniRepl({
const shouldShowCanvas = !!punchcard;
const canvasId = shouldShowCanvas ? useMemo(() => `canvas-${id}`, [id]) : null;
autodraw = !!punchcard || !!claviature || !!autodraw;
- drawTime = drawTime ?? punchcard ? [0, 4] : [-2, 2];
+ drawTime = (drawTime ?? punchcard) ? [0, 4] : [-2, 2];
if (claviature) {
drawTime = [0, 0];
}
diff --git a/website/src/pages/learn/visual-feedback.mdx b/website/src/pages/learn/visual-feedback.mdx
index 25eae30ce..ec275c6e2 100644
--- a/website/src/pages/learn/visual-feedback.mdx
+++ b/website/src/pages/learn/visual-feedback.mdx
@@ -98,3 +98,7 @@ What follows is the API doc of all the options you can pass:
## Pitchwheel
+
+## markcss
+
+
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 (