1.mini-repl .cm-activeLine,
2.mini-repl .cm-activeLineGutter {
3  background-color: transparent !important;
4}
5
6.mini-repl .cm-theme {
7  background-color: var(--background);
8  border: 1px solid var(--lineHighlight);
9  padding: 2px;
10}
11
12.mini-repl .cm-scroller {
13  font-family: inherit !important;
14}
15
16.mini-repl .cm-gutters {
17  display: none !important;
18}
19
20.mini-repl .cm-cursorLayer {
21  animation-name: inherit !important;
22}
23
24.mini-repl .cm-cursor {
25  border-left: 2px solid currentcolor !important;
26}