From 7f1919ebc649e2e7d57d329b7a839fe1311bac9d Mon Sep 17 00:00:00 2001 From: Kaspars Date: Tue, 14 Nov 2023 11:16:51 +0100 Subject: [PATCH] move fix to Repl.css --- packages/react/src/themes/strudel-theme.js | 1 - website/src/repl/Repl.css | 4 ++++ website/src/repl/themes.mjs | 1 - 3 files changed, 4 insertions(+), 2 deletions(-) diff --git a/packages/react/src/themes/strudel-theme.js b/packages/react/src/themes/strudel-theme.js index 4d60cbba..4ae31060 100644 --- a/packages/react/src/themes/strudel-theme.js +++ b/packages/react/src/themes/strudel-theme.js @@ -13,7 +13,6 @@ export default createTheme({ gutterBackground: 'transparent', // gutterForeground: '#8a919966', gutterForeground: '#8a919966', - customStyle: '.cm-focused { outline: none !important }', }, styles: [ { tag: t.keyword, color: '#c792ea' }, diff --git a/website/src/repl/Repl.css b/website/src/repl/Repl.css index 0400db7a..4fbebb29 100644 --- a/website/src/repl/Repl.css +++ b/website/src/repl/Repl.css @@ -57,3 +57,7 @@ #code .cm-foldGutter { display: none !important; } + +#code .cm-focused { + outline: none; +} \ No newline at end of file diff --git a/website/src/repl/themes.mjs b/website/src/repl/themes.mjs index a7f989cd..bee95fd1 100644 --- a/website/src/repl/themes.mjs +++ b/website/src/repl/themes.mjs @@ -93,7 +93,6 @@ export const settings = { gutterBackground: 'transparent', // gutterForeground: '#8a919966', gutterForeground: '#8a919966', - customStyle: '.cm-focused { outline: none !important }', }, bluescreen: bluescreenSettings, blackscreen: blackscreenSettings,