Merge pull request #781 from tidalcycles/fix-styles

fix: style issues
This commit is contained in:
Felix Roos 2023-11-05 12:42:00 +01:00 committed by GitHub
commit 83fec57400
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 8 additions and 8 deletions

View File

@ -1,26 +1,26 @@
.cm-activeLine,
.cm-activeLineGutter {
.mini-repl .cm-activeLine,
.mini-repl .cm-activeLineGutter {
background-color: transparent !important;
}
.cm-theme {
.mini-repl .cm-theme {
background-color: var(--background);
border: 1px solid var(--lineHighlight);
padding: 2px;
}
.cm-scroller {
.mini-repl .cm-scroller {
font-family: inherit !important;
}
.cm-gutters {
.mini-repl .cm-gutters {
display: none !important;
}
.cm-cursorLayer {
.mini-repl .cm-cursorLayer {
animation-name: inherit !important;
}
.cm-cursor {
.mini-repl .cm-cursor {
border-left: 2px solid currentcolor !important;
}

View File

@ -51,7 +51,7 @@ export function MiniRepl({
.catch((err) => console.error(err));
}, []);
return Repl ? (
<div className="mb-4">
<div className="mb-4 mini-repl">
<Repl
tune={tune}
hideOutsideView={true}