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 | 69ef34577b7dd25fea1e65c5d1bb6d629f77d9bc (patch) | |
tree | f310f46cf9a4ec8da7583cae4a341044ef5472d7 /coverage/htmlfiles | |
parent | a65ce0146e0fdbb1ea08a4e12e47f2a7c11427f5 (diff) | |
download | python-coveragepy-git-69ef34577b7dd25fea1e65c5d1bb6d629f77d9bc.tar.gz |
Fix #197: more decimal places on a CSS fraction eliminates rounding errors in the HTML line numbers.
Diffstat (limited to 'coverage/htmlfiles')
-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 70715ac1..811c6401 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 { |