nightly
+ new option checkbox "replace docs style for dark theme"
+ new options dialog with sections (in progess)
Merge pull request #23 from engor/help_in_docked_panel

nightly