From d20a279dd409a3aebd2735d16e5c4e18bd2c5ae4 Mon Sep 17 00:00:00 2001
From: Ned Batchelder <ned@nedbatchelder.com>
Date: Thu, 23 Apr 2009 08:36:18 -0400
Subject: The best way to set text size across browsers, and retain user
 control over the size.

---
 coverage/html.py | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

(limited to 'coverage/html.py')

diff --git a/coverage/html.py b/coverage/html.py
index dec3463..7af0861 100644
--- a/coverage/html.py
+++ b/coverage/html.py
@@ -96,9 +96,14 @@ html, body, p, td {
     margin: 0;
     padding: 0;
     }
-html, body {
-    font-size: 85%;
+
+body {
+    font-size: 75%;
     }
+  
+html>body {
+    font-size: 12px;
+    }    
     
 a.nav {
     text-decoration: none;
-- 
cgit v1.2.1