diff --git a/website/src/docs/MiniRepl.css b/website/src/docs/MiniRepl.css index 5e520671..8ec75d4d 100644 --- a/website/src/docs/MiniRepl.css +++ b/website/src/docs/MiniRepl.css @@ -1,4 +1,5 @@ -.cm-activeLine { +.cm-activeLine, +.cm-activeLineGutter { background-color: transparent !important; } @@ -11,3 +12,7 @@ .cm-scroller { font-family: inherit !important; } + +.cm-gutters { + display: none !important; +} diff --git a/website/src/pages/de/workshop/first-sounds.mdx b/website/src/pages/de/workshop/first-sounds.mdx index 0ac6cc21..ecf8037f 100644 --- a/website/src/pages/de/workshop/first-sounds.mdx +++ b/website/src/pages/de/workshop/first-sounds.mdx @@ -29,7 +29,7 @@ Mac: `Strg` = `control` oder auch `option` -Glückwunsch, du kannst nun live coden! +Glückwunsch, du kannst jetzt live coden! ## Sounds diff --git a/website/src/repl/Repl.css b/website/src/repl/Repl.css index ddedad6f..6815966b 100644 --- a/website/src/repl/Repl.css +++ b/website/src/repl/Repl.css @@ -22,12 +22,8 @@ opacity: 0.5; } -#code .cm-content { - padding-top: 12px !important; - padding-left: 8px !important; -} - #code .cm-scroller { + padding-top: 10px !important; padding-bottom: 50vh; font-family: inherit; }