elias/strudel
1
0
Fork 0
mirror of https://github.com/eliasstepanik/strudel.git synced 2026-01-13 14:48:32 +00:00
Code Issues Packages Projects Releases Wiki Activity
2,244 Commits 1 Branch 0 Tags
Commit Graph

3 Commits

Author SHA1 Message Date
Felix Roos
ae868c6372 hide gutter in mini repl 2023-06-09 00:46:04 +02:00
Felix Roos
d2dffe3186 MiniRepl: consume font settings 2023-05-28 12:42:15 +02:00
Felix Roos
14cb954213 themed minirepl 
+ add strudelTheme
+ add lineBackground with opacity
+ add some missing light flags
+ add fallback css variables for non js context
 2023-02-10 21:42:27 +01:00