From 311e23299374df5d9416c4c62cbd47dc5b879186 Mon Sep 17 00:00:00 2001
From: Tim Hoffmann <2836374+timhoffm@users.noreply.github.com>
Date: Sat, 22 Jun 2024 23:25:34 +0200
Subject: [PATCH] DOC: Reduce padding on small screens

The motivation is to 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 35c7cbcbb19..49156ad56c9 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;
     }
 }