aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--doc/style.css4
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/style.css b/doc/style.css
index 595a38dfa..5787ef65e 100644
--- a/doc/style.css
+++ b/doc/style.css
@@ -30,6 +30,10 @@
border-bottom: 0;
}
+div.inlinecontent {
+ margin-top: .4em;
+}
+
.actions li {
display: inline;
padding: .2em .4em;