maybe add a bit more blue to dark mode?

[rikhuijzer]

dark mode is quite dark currently. Could use one brighter color to make it nicer. Maybe blue bar aroudn the textarea?

[rikhuijzer]

Maybe table headers too like https://storopoli.com/blog/beauty-of-math-incompleteness/