From 0f7b2abdd8450078d117a44c65eecb09d8b29fe0 Mon Sep 17 00:00:00 2001
From: Matthias Geier <Matthias.Geier@gmail.com>
Date: Tue, 14 Apr 2020 16:08:26 +0200
Subject: [PATCH] Add right margin to footnote/citation labels

---
 sphinx/themes/basic/static/basic.css_t | 1 +
 1 file changed, 1 insertion(+)

diff --git a/sphinx/themes/basic/static/basic.css_t b/sphinx/themes/basic/static/basic.css_t
index e72db1249..4b15fce70 100644
--- a/sphinx/themes/basic/static/basic.css_t
+++ b/sphinx/themes/basic/static/basic.css_t
@@ -506,6 +506,7 @@ li > p:last-child {
 dl.footnote > dt,
 dl.citation > dt {
     float: left;
+    margin-right: 0.5em;
 }
 
 dl.footnote > dd,