summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
Diffstat (limited to 'doc')
-rw-r--r--doc/style.css1
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/style.css b/doc/style.css
index 1fabf6b29..81a260afd 100644
--- a/doc/style.css
+++ b/doc/style.css
@@ -375,6 +375,7 @@ span.color {
.comment-header {
font-style: italic;
+ margin-top: .3em;
}
.comment .author {
font-weight: bold;