Could you add a light/dark theme toggle button next to the “Save As...” button?
The dark theme is ideal for reading, but the text appears too faint when printed. Therefore, the light theme is better suited for generating the final HTML output for printing. Having a toggle button would be quite convenient.