diff options
Diffstat (limited to 'coverage/htmlfiles/style.css')
| -rw-r--r-- | coverage/htmlfiles/style.css | 16 |
1 files changed, 14 insertions, 2 deletions
diff --git a/coverage/htmlfiles/style.css b/coverage/htmlfiles/style.css index 25e7d115..a9ab5358 100644 --- a/coverage/htmlfiles/style.css +++ b/coverage/htmlfiles/style.css @@ -5,8 +5,8 @@ html, body, h1, h2, h3, p, td, th { padding: 0; border: 0; outline: 0; - font-weight: inherit; - font-style: inherit; + font-weight: normal; + font-style: normal; font-size: 100%; font-family: inherit; vertical-align: baseline; @@ -108,6 +108,18 @@ h2.stats { font-size: .625em; /* 10/16 */ line-height: 1.6em; /* 16/10 */ } +.linenos p.highlight { + background: #ffdd00; + } +.linenos p a { + text-decoration: none; + color: #999999; + } +.linenos p a:hover { + text-decoration: underline; + color: #999999; + } + td.text { width: 100%; } |