I don't know why Mike Mirzayanov is reluctant to add a dark theme into CodeForces. I went through this blog by sigma_g on how to set dark theme on codeforces but believe me it is not as good as it should be. If you are seeing this Mike please add dark mode, I am sure it won't take that longer for your developer to do this.