From 984bd95cc0ee973b5bc2d30e9cfdd7c81756c1e0 Mon Sep 17 00:00:00 2001 From: Felix Roos Date: Sat, 12 Mar 2022 20:30:15 +0100 Subject: [PATCH] style repl --- repl/public/global.css | 14 +++-------- repl/src/App.tsx | 55 +++++++++++++++++++++++++++++++++--------- 2 files changed, 47 insertions(+), 22 deletions(-) diff --git a/repl/public/global.css b/repl/public/global.css index 16e72fa9..a0a08e22 100644 --- a/repl/public/global.css +++ b/repl/public/global.css @@ -10,17 +10,9 @@ body { .CodeMirror { height: 100% !important; background-color: transparent !important; - //font-size: 15px; + font-size: 15px; } -.CodeMirror-line span { - background-color: #2a323660; -} - -.CodeMirror-code { - //padding: 10px; -} - -.CodeMirror-linenumber { - background-color: transparent !important; +.CodeMirror-line > span { + background-color: #2a323690; } diff --git a/repl/src/App.tsx b/repl/src/App.tsx index f06fab03..7e835ab8 100644 --- a/repl/src/App.tsx +++ b/repl/src/App.tsx @@ -43,6 +43,7 @@ function App() { defaultSynth, onDraw: useCallback(markEvent(editor), [editor]), }); + const [uiHidden, setUiHidden] = useState(false); const logBox = useRef(); // scroll log box to bottom when log changes useLayoutEffect(() => { @@ -81,12 +82,43 @@ function App() { return (
-
+
- logo + logo

Strudel REPL

+ +
-
+
)}
-