Thank you James, your colors now replace the "dark" theme.
The previous "light" theme is also still available with appropriate alternate hotkeys.
- Brian