Felix Roos
|
7ad0ec1600
|
fix: namespace mini-repl styles
|
2023-11-05 12:35:49 +01:00 |
|
Felix Roos
|
370d82e66c
|
+ disable cursor blink
+ make cursor thicker
|
2023-06-11 20:21:11 +02:00 |
|
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 |
|