my try at improving comment styling

Makes it look more like a blog, but not enough to be confusing, and with
nothing as large as in a blog. Removal of the vertical line under the
subject imho makes it easier to scan through comments as each box is a new
one. Bolding the subject seems to make it stand out enough, especially as
its a link now. (Also considered increasing its font size to 110%.)

1 files changed, 13 insertions, 4 deletions

diff --git a/doc/style.css b/doc/style.css
index 64b36b245..1fabf6b29 100644
--- a/doc/style.css
+++ b/doc/style.css
@@ -373,7 +373,16 @@ span.color {
 	padding: 2px;
 }
 
-.comment .author { font-weight: bold; }
-.comment { border: 1px inset #999; margin: 3px; padding: 3px; }
-.comment-header { font-style: italic; }
-.comment-subject { font-weight: bold; border-bottom: 1px solid #999; }
+.comment-header {
+	font-style: italic;
+}
+.comment .author {
+	font-weight: bold;
+}
+.comment-subject {
+	font-weight: bold;
+}
+.comment {
+	border: 1px solid #aaa;
+	padding: 3px;
+}