From 69ef34577b7dd25fea1e65c5d1bb6d629f77d9bc Mon Sep 17 00:00:00 2001
From: Ned Batchelder <ned@nedbatchelder.com>
Date: Wed, 26 Sep 2012 09:33:46 -0400
Subject: Fix #197: more decimal places on a CSS fraction eliminates rounding
 errors in the HTML line numbers.

---
 coverage/htmlfiles/style.css | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'coverage/htmlfiles')

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 {
-- 
cgit v1.2.1