v3.0.3

Patch version of v3.0.0

• Fixed multiple theme selector bugs that popped up when disabling the theme selector.
  • See also issues/294.
• Slight tweak in documentation layout where the right pane will minimize fully.