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%.)

diff --git a/doc/style.css b/doc/style.css
index 64b36b2459c36301a4c03772392529a4cef8e516..1fabf6b29fcbbab0aff9459fd1cc44b11816bea5 100644 (file)
--- 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;
+}