hacklab/strudel
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Merge remote-tracking branch 'origin/main' into docs

Browse source
This commit is contained in:
Felix Roos 2023-02-10 23:18:04 +01:00
commit fe80478b8a
32 changed files with 973 additions and 107 deletions
Download patch file Download diff file Expand all files Collapse all files

7
website/src/repl/Repl.css
View file

@ -10,10 +10,6 @@
opacity: 0.5;
}
.cm-gutters {
display: none !important;
}
.cm-content {
padding-top: 12px !important;
padding-left: 8px !important;
@ -22,3 +18,6 @@
.cm-scroller {
padding-bottom: 50vh;
}
.cm-line > * {
background: var(--lineBackground);
}