diff options
Diffstat (limited to 'coverage/htmlfiles/style.css')
| -rw-r--r-- | coverage/htmlfiles/style.css | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/coverage/htmlfiles/style.css b/coverage/htmlfiles/style.css index 7aa6d697..012cfac0 100644 --- a/coverage/htmlfiles/style.css +++ b/coverage/htmlfiles/style.css @@ -68,10 +68,14 @@ h1 { h2.stats { margin-top: .5em; } -.stats span { - border: 1px solid black; +.stats span { + border: 1px solid; padding: .1em .25em; cursor: pointer; + border-color: #888 #ccc #ccc #888; +} +.stats span.hide { + border-color: #ccc #888 #888 #ccc; } /* Source file styles */ @@ -102,3 +106,6 @@ td.text { .text p.exc { background: #eeeeee; } +.text p.hide { + background: inherit; + } |