14 Commits

Author	SHA1	Message	Date
Felix Roos	ff99dbcd22	customizable font family	2023-02-22 20:28:22 +01:00
Felix Roos	8f6c1531fa	more contrast for blackscreen theme	2023-02-22 19:45:06 +01:00
Felix Roos	89cd0c769b	fix bluescreen line bg	2023-02-19 23:27:56 +01:00
Felix Roos	81b4cb2f16	more themes + fonts	2023-02-19 22:18:12 +01:00
Felix Roos	ac3bd7d7db	rename algoboy theme + add font	2023-02-19 20:04:19 +01:00
Felix Roos	1e3f09f69b	add some custom themes	2023-02-19 18:53:35 +01:00
Felix Roos	23e059a065	scheduler error handling + style	2022-11-11 23:35:46 +01:00
Felix Roos	45c7b29a96	big style update + new log system	2022-11-11 22:46:20 +01:00
Felix Roos	67c21c18cf	set background to 222 + remove log	2022-08-05 23:23:51 +02:00
Felix Roos	93251582ab	replace react-codemirror	2022-08-05 23:05:33 +02:00
Felix Roos	800f2f466b	darken repl background ... + dont highlight active line	2022-08-02 23:39:07 +02:00
Felix Roos	913416a9d5	style fixes + hide-console option ... - thicker highlighting outline - only shade actual characters, not whole lines - strudel hide-console will now hide console	2022-07-29 00:00:41 +02:00
Felix Roos	92dc50e348	minor style tweaks	2022-05-30 23:34:56 +02:00
Felix Roos	0d63ec9146	basic react package	2022-05-14 20:27:05 +02:00