OP#785 initial commit

2026-09-22 11:54:36 +02:00
parent ff9f094650
commit 56c9f21844
29 changed files with 119 additions and 3522 deletions
--- a/doc/css/common.css
+++ b/doc/css/common.css
@@ -1,8 +0,0 @@
-/* Ensure the search bar doesn't overlap with links */
-.fixed_header {
-  padding-bottom: 25px;
-}
-
-#full_list {
-  padding-top: 15px;
-}