DOC: Reduce padding on small screens

The motivation is to maximize used horizontal space when the screen is small.
timhoffm · Jun 22, 2024 · 311e232 · 311e232
1 parent a1bb165
commit 311e232
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/doc/_themes/sphinx13/static/sphinx13.css b/doc/_themes/sphinx13/static/sphinx13.css
@@ -442,6 +442,8 @@ div.viewcode-block:target {
     }
     div.body {
         border-left: none;
+        padding-left: 0.5em;
+        padding-right: 0.5em;
     }
 }