Implement switcher for dark / light theme
re-insert accidentally removed drawCircle
set light theme when selected, not dark theme.
Improve styling of layouts.
Automatically restart Space Trader on theme change.
Correctly declare a new attribute for the color of the navchart text.
Move option for theme to options menu.
Tag version 1.2.7