elias/strudel
1
0
Fork 0
mirror of https://github.com/eliasstepanik/strudel.git synced 2026-01-11 13:48:40 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #802 from kasparsj/fix-strudelTheme-outline

Browse Source 
remove unwanted cm6 outline for strudelTheme
This commit is contained in:
Felix Roos 2023-11-15 20:12:23 +01:00 committed by GitHub
commit 49aa9cf6da
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
website/src/repl/Repl.css
View File

@ -57,3 +57,7 @@
#code .cm-foldGutter {
display: none !important;
}
#code .cm-focused {
outline: none;
}