diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/style.css | 1 |
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; |