docs: prevent header tabs from overlapping on search expand

jijo-OO7 · jijo-OO7 · commit db785bc0a379 · 2026-01-14T18:06:04.000Z
diff --git a/docs/stylesheets/extra.css b/docs/stylesheets/extra.css
@@ -144,6 +144,11 @@ a.md-header__button.md-logo img {
 .md-tabs {
   color: black;
   font-weight: bold;
+  flex-shrink: 0;
+}
+
+.md-tabs__list {
+  flex-shrink: 0;
 }
 
 .md-header__source {
