docs: fix tiny nav menu

Cosmian · May 6, 2024 · 37b8c2d · 37b8c2d
1 parent 8df4cc6
commit 37b8c2d
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/documentation/theme_overrides/assets/stylesheets/extra.css b/documentation/theme_overrides/assets/stylesheets/extra.css
@@ -258,7 +258,7 @@ code,
     }
 
     .md-sidebar--primary .md-nav__item {
-        padding-right: 2em;
+        padding-right: 0.25em;
     }
 }
 
@@ -296,7 +296,7 @@ code,
 
 .md-nav--primary .md-nav__list .md-nav__list .md-nav__item {
     font-size: 0.875rem;
-    padding-left: 2.2em;
+    padding-left: 0.25em;
     margin: 1em 0;
 }