nightly

+ new option checkbox "replace docs style for dark theme"
+ new options dialog with sections (in progess)