aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--source/css/theme.css4
1 files changed, 4 insertions, 0 deletions
diff --git a/source/css/theme.css b/source/css/theme.css
index b692f963..3a01e5b4 100644
--- a/source/css/theme.css
+++ b/source/css/theme.css
@@ -105,6 +105,10 @@ div.footnotes {
font-size: 10pt;
}
+div.footnotes p {
+ margin: 0.6em 0;
+}
+
div.footnotes code {
font-size: 9.5pt;
}