From cb46dd7840b8b27a28e13b9995a698015d211c87 Mon Sep 17 00:00:00 2001 From: Felix Roos Date: Wed, 21 Jan 2026 01:31:25 +0100 Subject: [PATCH] make it crunchier: border borders, less padding --- packages/codemirror/themes/strudel-theme.mjs | 2 +- website/src/repl/components/Code.jsx | 2 +- website/src/repl/components/Header.jsx | 2 +- .../repl/components/button/action-button.jsx | 2 +- .../src/repl/components/panel/ConsoleTab.jsx | 6 +- .../src/repl/components/panel/ExportTab.jsx | 2 +- website/src/repl/components/panel/Forms.jsx | 2 +- website/src/repl/components/panel/Panel.jsx | 21 +-- .../src/repl/components/panel/PatternsTab.jsx | 125 +++++++++--------- .../src/repl/components/panel/Reference.jsx | 13 +- .../src/repl/components/panel/SettingsTab.jsx | 2 +- .../src/repl/components/panel/SoundsTab.jsx | 8 +- .../src/repl/components/panel/WelcomeTab.jsx | 2 +- 13 files changed, 96 insertions(+), 93 deletions(-) diff --git a/packages/codemirror/themes/strudel-theme.mjs b/packages/codemirror/themes/strudel-theme.mjs index 658a682f1..58c675638 100644 --- a/packages/codemirror/themes/strudel-theme.mjs +++ b/packages/codemirror/themes/strudel-theme.mjs @@ -5,7 +5,7 @@ export const settings = { background: '#222', lineBackground: '#22222299', foreground: '#fff', - muted: '#ffffff50', + muted: '#8a919966', caret: '#ffcc00', selection: 'rgba(128, 203, 196, 0.5)', selectionMatch: '#036dd626', diff --git a/website/src/repl/components/Code.jsx b/website/src/repl/components/Code.jsx index 8481cc272..e8cccb86f 100644 --- a/website/src/repl/components/Code.jsx +++ b/website/src/repl/components/Code.jsx @@ -8,7 +8,7 @@ export function Code(Props) { return (
{ containerRef.current = el; diff --git a/website/src/repl/components/Header.jsx b/website/src/repl/components/Header.jsx index 19e7b8fad..e113cea0a 100644 --- a/website/src/repl/components/Header.jsx +++ b/website/src/repl/components/Header.jsx @@ -16,7 +16,7 @@ export function Header({ context, isEmbedded = false }) {