From b75ca193a292bcb9d0827c957b45a67069a34dda Mon Sep 17 00:00:00 2001 From: Felix Roos Date: Tue, 20 Jan 2026 01:01:20 +0100 Subject: [PATCH] fix: font sizes --- website/src/repl/components/panel/SettingsTab.jsx | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/website/src/repl/components/panel/SettingsTab.jsx b/website/src/repl/components/panel/SettingsTab.jsx index d7f005efb..c9f6ac23d 100644 --- a/website/src/repl/components/panel/SettingsTab.jsx +++ b/website/src/repl/components/panel/SettingsTab.jsx @@ -25,7 +25,7 @@ export function Textbox({ onChange, className, ...inputProps }) { function Checkbox({ label, value, onChange, disabled = false }) { return ( -