diff options
| author | Ned Batchelder <ned@nedbatchelder.com> | 2019-01-04 06:17:53 -0500 |
|---|---|---|
| committer | Ned Batchelder <ned@nedbatchelder.com> | 2019-01-04 06:49:58 -0500 |
| commit | 0694ee9cd33a75e28862234eca1ac3005f54882b (patch) | |
| tree | e00a7722760939115931f7534153eeb174192251 /coverage/htmlfiles | |
| parent | 073dd8624fe4151705cc64985092767049aa501b (diff) | |
| download | python-coveragepy-git-0694ee9cd33a75e28862234eca1ac3005f54882b.tar.gz | |
Make line numbers immune to minimum font size settings. #748
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; |