Revert "Merge branch 'master' into dev"

This reverts commit 6a6d67dbab, reversing
changes made to ba4bd765d8.

docs/js/commons.js

@@ -0,0 +1,21 @@
+/*
+ * Add some magic to Pico docs
+ *
+ * Pico.css - https://picocss.com
+ * Copyright 2019-2021 - Licensed under MIT
+ */
+
+// Imports
+import themeSwitcher from './src/theme-switcher.js';
+import toggleNavigation from './src/toggle-navigation';
+
+// Theme switcher
+themeSwitcher.addButton({
+  tag: 'BUTTON',
+  class: 'contrast switcher theme-switcher',
+  target: 'body',
+});
+themeSwitcher.init();
+
+// Toggle navigation
+toggleNavigation.init();