docs: force right alignment for search

Change-Id: I6a6a6964a0757fcf015e3d66b9391f478a90bd0d
2025-07-03 23:22:35 +00:00 · 2025-07-03 23:22:35 +00:00 · 5865632b14
commit 5865632b14
parent fbd2fd6c71
1 changed files with 1 additions and 0 deletions
--- a/docs/supplemental/css/override.css
+++ b/docs/supplemental/css/override.css
@ -39,5 +39,6 @@ body {
 }*/

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