The dark mode uses a lot of red text on black background. This is hard to read and also to be avoided for color-blind accessibility. We should provide a better dark mode behavior.