diff options
Diffstat (limited to 'coverage/htmlfiles')
-rw-r--r-- | coverage/htmlfiles/style.css | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/coverage/htmlfiles/style.css b/coverage/htmlfiles/style.css index 14592865..41bcf2be 100644 --- a/coverage/htmlfiles/style.css +++ b/coverage/htmlfiles/style.css @@ -205,15 +205,15 @@ h2.stats { padding: 0 .5em; color: #999999; font-family: verdana, sans-serif; - font-size: .625em; /* 10/16 */ - line-height: 1.6em; /* 16/10 */ - } +} .linenos p.highlight { background: #ffdd00; } .linenos p a { text-decoration: none; color: #999999; + font-size: .8333em; /* 10/12 */ + line-height: 1em; } .linenos p a:hover { text-decoration: underline; |