4 commits

Author	SHA1	Message	Date
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