comment layout change

I saw a layout similar to this on blogger, and I sorta like it

The dash avoids parens sitting next to each other in some cases.

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;