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 | d20a279dd409a3aebd2735d16e5c4e18bd2c5ae4 (patch) | |
| tree | 46956eb457d313316b523da709ec42fbbafc8c79 /coverage/html.py | |
| parent | 5f37b3f44909a7e9597f99092b8dc34237d76a5f (diff) | |
| download | python-coveragepy-d20a279dd409a3aebd2735d16e5c4e18bd2c5ae4.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 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; |