I’ve made a few minor changes to how the default theme here works (aiming for better and more open maintainability), and for the vast majority of folks here there should be no change. If your eyes are hurting (or something else is surprising), this thread is for you and please let me know.
In short: if you had previously chosen a theme called “Light Theme” or “Dark Theme” in your personal settings — and that choice was at odds with your system light/dark setting — then you’ll probably want to modify your color palette:

Whereas previously, you may have selected a “Light Theme” or “Dark Theme” to affect this change, you now should use the color palette. It’s split into two drop-downs, one for each system setting. Change that “Regular” dropdown to “Dark Scheme” to enforce dark mode regardless, or “Dark mode” to “Same As Regular” for light mode regardless.
2 Likes
Why don’t you make bottom panel also dark? I think it would be aesthetic in dark color.
Personally i use dark theme but when i scroll down then this white color causes distraction.
1 Like
Would I have read this thread earlier I would have saved 20 minutes :-))
Somehow I got the “Theme default”, “Same as Regular” combination as default, and got a light theme when I wanted a dark one, as in Firefox settings whose default is to follow the device settings (itself dark mode)..
I think the default should be to follow the parent behaviour, and if I understood correctly, it would be “Theme default”, “Dark scheme”..
Yes, as far as I’ve tested (on several accounts now), the default color schemes should be exactly that.
The previous Dark Theme ignored the color schemes, though, so you may have fiddled with them. They wouldn’t have done anything, but those changes do persist. I don’t have a way to reset them globally, unfortunately.
The reason for this was because we were “maintaining” (poorly) these theme customizations in text boxes in the admin dashboard here. And we were needing to keep two identical themes in sync for no good reason. In fact, our customizations only did four things:
- They overrode the color palette (which I kinda remember being broken when the site was launched). This is now done with the color palette.
- They added JuliaMono — now in a git repo as a bonified “component”
- They added Julia syntax highlighting — now in this component
- They changed the color of the repl
julia>
prompt. And that’s all that’s left now.