diff options
| author | Ned Batchelder <ned@nedbatchelder.com> | 2009-04-23 08:36:18 -0400 |
|---|---|---|
| committer | Ned Batchelder <ned@nedbatchelder.com> | 2009-04-23 08:36:18 -0400 |
| commit | 9e81e649afb9984d6b8ce1a8d25d732d1dd4c7bc (patch) | |
| tree | b5ba85ab77dbb76328d16f76104fbf6d922c0905 /coverage/html.py | |
| parent | 8f52f2d75e3f468af258bbfad0ee08e27a05547d (diff) | |
| download | python-coveragepy-git-9e81e649afb9984d6b8ce1a8d25d732d1dd4c7bc.tar.gz | |
The best way to set text size across browsers, and retain user control over the size.
Diffstat (limited to 'coverage/html.py')
| -rw-r--r-- | coverage/html.py | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/coverage/html.py b/coverage/html.py index dec34637..7af08610 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; |