diff --git a/website/src/docs/MiniRepl.css b/website/src/docs/MiniRepl.css index 8ec75d4d..84927a88 100644 --- a/website/src/docs/MiniRepl.css +++ b/website/src/docs/MiniRepl.css @@ -16,3 +16,11 @@ .cm-gutters { display: none !important; } + +.cm-cursorLayer { + animation-name: inherit !important; +} + +.cm-cursor { + border-left: 2px solid currentcolor !important; +} diff --git a/website/src/repl/Repl.css b/website/src/repl/Repl.css index 6815966b..f7227d7d 100644 --- a/website/src/repl/Repl.css +++ b/website/src/repl/Repl.css @@ -45,3 +45,11 @@ #code .cm-theme-light { width: 100%; } + +#code .cm-cursorLayer { + animation-name: inherit !important; +} + +#code .cm-cursor { + border-left: 2px solid currentcolor !important; +}