diff options
| author | Ned Batchelder <ned@nedbatchelder.com> | 2012-04-20 17:37:11 -0400 |
|---|---|---|
| committer | Ned Batchelder <ned@nedbatchelder.com> | 2012-04-20 17:37:11 -0400 |
| commit | 78e2c8c6e014b205e5f2cf7764ca9cf3597b318a (patch) | |
| tree | 99dcb9b259c8c343e1623c705dda50201b7b0d82 /coverage/htmlfiles | |
| parent | 886c61c219b68dd66103a8c05f96ae9bf6b82ad6 (diff) | |
| download | python-coveragepy-git-78e2c8c6e014b205e5f2cf7764ca9cf3597b318a.tar.gz | |
The [html]extra_css configuration value is a file path to a CSS file that gets copied into the HTML report.
Diffstat (limited to 'coverage/htmlfiles')
| -rw-r--r-- | coverage/htmlfiles/index.html | 3 | ||||
| -rw-r--r-- | coverage/htmlfiles/pyfile.html | 3 |
2 files changed, 6 insertions, 0 deletions
diff --git a/coverage/htmlfiles/index.html b/coverage/htmlfiles/index.html index 04b314a3..c6d9eec0 100644 --- a/coverage/htmlfiles/index.html +++ b/coverage/htmlfiles/index.html @@ -4,6 +4,9 @@ <meta http-equiv='Content-Type' content='text/html; charset=utf-8'> <title>Coverage report</title> <link rel='stylesheet' href='style.css' type='text/css'> + {% if extra_css %} + <link rel='stylesheet' href='{{ extra_css }}' type='text/css'> + {% endif %} <script type='text/javascript' src='jquery-1.4.3.min.js'></script> <script type='text/javascript' src='jquery.tablesorter.min.js'></script> <script type='text/javascript' src='jquery.hotkeys.js'></script> diff --git a/coverage/htmlfiles/pyfile.html b/coverage/htmlfiles/pyfile.html index ee0a3b1b..434edfdd 100644 --- a/coverage/htmlfiles/pyfile.html +++ b/coverage/htmlfiles/pyfile.html @@ -7,6 +7,9 @@ <meta http-equiv='X-UA-Compatible' content='IE=emulateIE7' /> <title>Coverage for {{cu.name|escape}}: {{nums.pc_covered_str}}%</title> <link rel='stylesheet' href='style.css' type='text/css'> + {% if extra_css %} + <link rel='stylesheet' href='{{ extra_css }}' type='text/css'> + {% endif %} <script type='text/javascript' src='jquery-1.4.3.min.js'></script> <script type='text/javascript' src='jquery.hotkeys.js'></script> <script type='text/javascript' src='jquery.isonscreen.js'></script> |