Add Doxygen awesome theme

2024-01-01 15:56:23 +01:00
parent 60373719cd
commit 52c1c110ca
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;
+    }
+}