Recommit for updates in build 4

2026-03-29 16:30:26 +02:00
parent 9a2d7bdc1d
commit e68c9618c0
19 changed files with 2993 additions and 0 deletions
--- a/doc/css/common.css
+++ b/doc/css/common.css
@@ -0,0 +1,8 @@
+/* Ensure the search bar doesn't overlap with links */
+.fixed_header {
+  padding-bottom: 25px;
+}
+
+#full_list {
+  padding-top: 15px;
+}