added doxygen files

2025-09-21 12:50:15 +02:00
parent bf49d8321f
commit 2180b62bf1
38 changed files with 10723 additions and 5 deletions
--- a/doc/doxygen-awesome-css/doxygen-custom/toggle-alternative-theme.js
+++ b/doc/doxygen-awesome-css/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;
+    }
+}