diff options
Diffstat (limited to 'coverage/htmlfiles/index.html')
-rw-r--r-- | coverage/htmlfiles/index.html | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/coverage/htmlfiles/index.html b/coverage/htmlfiles/index.html index bea715e1..ef4867a8 100644 --- a/coverage/htmlfiles/index.html +++ b/coverage/htmlfiles/index.html @@ -1,4 +1,4 @@ -<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd"> +<!DOCTYPE html> <html> <head> <meta http-equiv='Content-Type' content='text/html; charset=utf-8'> @@ -12,7 +12,7 @@ <script type='text/javascript' src='jquery.tablesorter.min.js'></script> <script type='text/javascript' src='jquery.hotkeys.js'></script> <script type='text/javascript' src='coverage_html.js'></script> - <script type='text/javascript' charset='utf-8'> + <script type='text/javascript'> jQuery(document).ready(coverage.index_ready); </script> </head> @@ -24,7 +24,7 @@ <span class='pc_cov'>{{totals.pc_covered_str}}%</span> </h1> - <img id='keyboard_icon' src='keybd_closed.png' /> + <img id='keyboard_icon' src='keybd_closed.png' alt='Show keyboard shortcuts' /> <form id="filter_container"> <label for="filter">Filter</label> @@ -34,7 +34,7 @@ </div> <div class='help_panel'> - <img id='panel_icon' src='keybd_open.png' /> + <img id='panel_icon' src='keybd_open.png' alt='Hide keyboard shortcuts' /> <p class='legend'>Hot-keys on this page</p> <div> <p class='keyhelp'> |