diff options
author | Matthias Geier <Matthias.Geier@gmail.com> | 2020-04-14 17:08:26 +0300 |
---|---|---|
committer | Matthias Geier <Matthias.Geier@gmail.com> | 2020-04-14 17:08:26 +0300 |
commit | 0f7b2abdd8450078d117a44c65eecb09d8b29fe0 (patch) | |
tree | 3dda453bbf6ac0e327fbc394de50188dd5b4fb96 /sphinx/themes/basic/static/basic.css_t | |
parent | 86ef8521df8d848c85f0df01943656aa78a10a62 (diff) |
Add right margin to footnote/citation labels
Diffstat (limited to 'sphinx/themes/basic/static/basic.css_t')
-rw-r--r-- | sphinx/themes/basic/static/basic.css_t | 1 |
1 files changed, 1 insertions, 0 deletions
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, |