.mini-repl .cm-activeLine,

.mini-repl .cm-activeLineGutter {

  background-color: transparent !important;

}

.mini-repl .cm-theme {

  background-color: var(--background);

  border: 1px solid var(--lineHighlight);

  padding: 2px;

}

.mini-repl .cm-scroller {

  font-family: inherit !important;

}

.mini-repl .cm-gutters {

  display: none !important;

}

.mini-repl .cm-cursorLayer {

  animation-name: inherit !important;

}

.mini-repl .cm-cursor {

  border-left: 2px solid currentcolor !important;

}