revert css to master

Author: EmileTrotignon

src/html_support_files/odoc.css

@@ -1285,8 +1285,8 @@ body.odoc:has( .odoc-search) .odoc-toc {
       "preamble"
       "toc-local"
       "content"
-      "toc-global" !important;
-    grid-template-columns: 1fr !important;
+      "toc-global";
+    grid-template-columns: 1fr;
   }
   body.odoc:has(> .odoc-search:focus-within) {
     /* This is the same as when there is no focus on the search bar, this is
@@ -1297,8 +1297,8 @@ body.odoc:has( .odoc-search) .odoc-toc {
       "preamble"
       "toc-local"
       "content"
-      "toc-global" !important;
-    grid-template-columns: 1fr !important;
+      "toc-global";
+    grid-template-columns: 1fr;
   }
   body.odoc .odoc-search {
     position: relative;
@@ -1322,11 +1322,6 @@ body.odoc:has( .odoc-search) .odoc-toc {
     border-radius: 5px;
     margin-bottom: 2em;
   }
-
-  nav.odoc-nav {
-    padding-top: 0 !important;
-    padding-bottom: var(--search-padding-top);
-  }
 }
 
 /* Print adjustements. */