Edit File: coverage_html.js