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/config.py | |
| 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/config.py')
| -rw-r--r-- | coverage/config.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/coverage/config.py b/coverage/config.py index ef45ba5a..49d74e7a 100644 --- a/coverage/config.py +++ b/coverage/config.py @@ -52,6 +52,7 @@ class CoverageConfig(object): # Defaults for [html] self.html_dir = "htmlcov" + self.extra_css = None # Defaults for [xml] self.xml_output = "coverage.xml" @@ -125,6 +126,8 @@ class CoverageConfig(object): # [html] if cp.has_option('html', 'directory'): self.html_dir = cp.get('html', 'directory') + if cp.has_option('html', 'extra_css'): + self.extra_css = cp.get('html', 'extra_css') # [xml] if cp.has_option('xml', 'output'): |