diff options
Diffstat (limited to 'coverage/htmlfiles/index.html')
| -rw-r--r-- | coverage/htmlfiles/index.html | 3 |
1 files changed, 3 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> |