Add doxygen-awesome

2023-11-17 12:51:35 +01:00
parent b1751088cd
commit 330c8e5cc3
35 changed files with 7398 additions and 0 deletions
--- a/doxygen-awesome/doxygen-custom/toggle-alternative-theme.js
+++ b/doxygen-awesome/doxygen-custom/toggle-alternative-theme.js
@@ -0,0 +1,12 @@
+
+let original_theme_active = true;
+
+function toggle_alternative_theme() {
+    if(original_theme_active) {
+        document.documentElement.classList.add("alternative")
+        original_theme_active = false;
+    } else {
+        document.documentElement.classList.remove("alternative")
+        original_theme_active = true;
+    }
+}