From be92d6545a48f8e6248c177f4dc345e6255d4c6b Mon Sep 17 00:00:00 2001
From: Tim Hoffmann <2836374+timhoffm@users.noreply.github.com>
Date: Sun, 23 Jun 2024 00:04:52 +0200
Subject: [PATCH] DOC: Reduce horizontal padding on small screens (#12465)

Maximize used horizontal space when the screen is small.
---
 doc/_themes/sphinx13/static/sphinx13.css | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/doc/_themes/sphinx13/static/sphinx13.css b/doc/_themes/sphinx13/static/sphinx13.css
index 35c7cbcbb..49156ad56 100644
--- 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;
     }
 }