diff options
| author | Ned Batchelder <ned@nedbatchelder.com> | 2012-09-26 09:33:46 -0400 |
|---|---|---|
| committer | Ned Batchelder <ned@nedbatchelder.com> | 2012-09-26 09:33:46 -0400 |
| commit | 7aef5769a062f012a4ac656549713505b845a279 (patch) | |
| tree | a891392672cc83db031133ca4460ddf9c34ff6b6 /coverage/htmlfiles/style.css | |
| parent | 7f81d569e4a84b3b1d2f5a509d389b686bb17b39 (diff) | |
| download | python-coveragepy-7aef5769a062f012a4ac656549713505b845a279.tar.gz | |
Fix #197: more decimal places on a CSS fraction eliminates rounding errors in the HTML line numbers.
Diffstat (limited to 'coverage/htmlfiles/style.css')
| -rw-r--r-- | coverage/htmlfiles/style.css | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/coverage/htmlfiles/style.css b/coverage/htmlfiles/style.css index 70715ac..811c640 100644 --- a/coverage/htmlfiles/style.css +++ b/coverage/htmlfiles/style.css @@ -24,8 +24,8 @@ html>body { /* Set base font size to 12/16 */ p { - font-size: .75em; /* 12/16 */ - line-height: 1.3333em; /* 16/12 */ + font-size: .75em; /* 12/16 */ + line-height: 1.33333333em; /* 16/12 */ } table { |