diff options
Diffstat (limited to 'doc/style.css')
-rw-r--r-- | doc/style.css | 17 |
1 files changed, 16 insertions, 1 deletions
diff --git a/doc/style.css b/doc/style.css index 5787ef65e..81a260afd 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,18 @@ legend { span.color { padding: 2px; } + +.comment-header { + font-style: italic; + margin-top: .3em; +} +.comment .author { + font-weight: bold; +} +.comment-subject { + font-weight: bold; +} +.comment { + border: 1px solid #aaa; + padding: 3px; +} |