docs: add search

Change-Id: I6a6a696466e424483a89be23b4f91ec98abb7630
2025-07-03 18:57:48 +00:00 · 2025-07-03 18:57:48 +00:00 · 6f97bf05d2
commit 6f97bf05d2
parent 30814de5e4
5 changed files with 124 additions and 0 deletions
--- a/docs/supplemental/css/override.css
+++ b/docs/supplemental/css/override.css
@ -38,3 +38,6 @@ body {
    }
 }*/

+#search-input {
+  margin-right: 0.25em;
+}