From 75f197b28e14605c1131ec05df5bd700f89bcf77 Mon Sep 17 00:00:00 2001
From: Fabian Homborg <FHomborg@gmail.com>
Date: Tue, 26 Jan 2021 09:10:42 +0100
Subject: [PATCH] docs/theme: Add bottom margin

This makes it look like it's a page on top of the background gradient
---
 doc_src/python_docs_theme/static/pydoctheme.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc_src/python_docs_theme/static/pydoctheme.css b/doc_src/python_docs_theme/static/pydoctheme.css
index 1e1b66ef5..f11a6050d 100644
--- a/doc_src/python_docs_theme/static/pydoctheme.css
+++ b/doc_src/python_docs_theme/static/pydoctheme.css
@@ -14,7 +14,7 @@ div#fmain {
     background-color: #EEEEFA;
     border-radius: 14px;
     position: relative;
-    margin: 15px auto 0;
+    margin: 15px auto 15px;
     -moz-box-shadow: 0 0 1px 1px #333;
     -webkit-box-shadow: 0 0 1px 1px #333;
     box-shadow: 0 0 5px 1px #333;