1 files changed, 0 insertions, 21 deletions
diff --git a/target/doc/theme.js b/target/doc/theme.js
deleted file mode 100644
index 3e7a5be..0000000
--- a/target/doc/theme.js
+++ /dev/null
@@ -1,21 +0,0 @@
-var themes = document.getElementById("theme-choices");
-var themePicker = document.getElementById("theme-picker");
-themePicker.onclick = function() {
-    if (themes.style.display === "block") {
-        themes.style.display = "none";
-        themePicker.style.borderBottomRightRadius = "3px";
-        themePicker.style.borderBottomLeftRadius = "3px";
-    } else {
-        themes.style.display = "block";
-        themePicker.style.borderBottomRightRadius = "0";
-        themePicker.style.borderBottomLeftRadius = "0";
-    }
-};
-["dark","light"].forEach(function(item) {
-    var but = document.createElement('button');
-    but.innerHTML = item;
-    but.onclick = function(el) {
-        switchTheme(currentTheme, mainTheme, item);
-    };
-    themes.appendChild(but);
-});