diff options
Diffstat (limited to 'coverage/htmlfiles/style.css')
-rw-r--r-- | coverage/htmlfiles/style.css | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/coverage/htmlfiles/style.css b/coverage/htmlfiles/style.css index 7c2ae797..65a27905 100644 --- a/coverage/htmlfiles/style.css +++ b/coverage/htmlfiles/style.css @@ -133,6 +133,17 @@ td.text { background: inherit; } +.text span.annotate { + font-family: georgia; + font-style: italic; + color: #666; + float: right; + padding-right: .5em; + } +.text p.hide span.annotate { + display: none; + } + /* Syntax coloring */ .text .com { color: green; |