Fix #197: more decimal places on a CSS fraction eliminates rounding errors in the HTML line numbers.

Author: nedbat

CHANGES.txt

@@ -5,6 +5,9 @@ Change history for Coverage.py
 Version 3.5.3b1
 ---------------
 
+- Line numbers in the HTML report line up better with the source lines, fixing
+  `issue 197`, thanks Marius Gedminas.
+
 - When specifying a directory as the source= option, the directory itself no
   longer needs to have a ``__init__.py`` file, though its subdirectories do, to
   be considered as source files.
@@ -34,6 +37,7 @@ Version 3.5.3b1
 .. _issue 183: https://bitbucket.org/ned/coveragepy/issue/183/install-fails-for-python-23
 .. _issue 194: https://bitbucket.org/ned/coveragepy/issue/194/filelocatorrelative_filename-could-mangle
 .. _issue 195: https://bitbucket.org/ned/coveragepy/issue/195/pyo-file-handling-in-codeunit
+.. _issue 197: https://bitbucket.org/ned/coveragepy/issue/197/line-numbers-in-html-report-do-not-align
 .. _tox: http://tox.readthedocs.org/
 
 

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 {