diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/style.css | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/doc/style.css b/doc/style.css index 5787ef65e..70f31d325 100644 --- a/doc/style.css +++ b/doc/style.css @@ -12,7 +12,7 @@ display: block; } -.author { +.inlineheader .author { margin: 0; font-size: 18px; font-weight: bold; @@ -372,3 +372,8 @@ legend { span.color { padding: 2px; } + +.comments-display .author { font-weight: bold; } +.comments-display { border: 1px inset #999; margin: 3px; padding: 3px; } +.comments-header { font-style: italic; } +.comments-subject { font-weight: bold; border-bottom: 1px solid #999; } |