|
5 | 5 | <html> |
6 | 6 | <head> |
7 | 7 | <meta http-equiv="Content-Type" content="text/html; charset=utf-8"> |
8 | | - {# IE8 rounds line-height incorrectly, and adding this emulateIE7 line makes it right! #} |
9 | | - {# http://social.msdn.microsoft.com/Forums/en-US/iewebdevelopment/thread/7684445e-f080-4d8f-8529-132763348e21 #} |
10 | | - <meta http-equiv="X-UA-Compatible" content="IE=emulateIE7" /> |
11 | 8 | <title>Coverage for {{relative_filename|escape}}: {{nums.pc_covered_str}}%</title> |
12 | 9 | <link rel="icon" sizes="32x32" href="favicon_32.png"> |
13 | 10 | <link rel="stylesheet" href="style.css" type="text/css"> |
|
25 | 22 | <span class="pc_cov">{{nums.pc_covered_str}}%</span> |
26 | 23 | </h1> |
27 | 24 |
|
28 | | - <div id="help_panel_wrapper"> |
| 25 | + <aside id="help_panel_wrapper"> |
29 | 26 | <input id="help_panel_state" type="checkbox"> |
30 | 27 | <label for="help_panel_state"> |
31 | 28 | <img id="keyboard_icon" src="keybd_closed.png" alt="Show/hide keyboard shortcuts" /> |
32 | 29 | </label> |
33 | 30 | <div id="help_panel"> |
34 | 31 | <p class="legend">Shortcuts on this page</p> |
35 | | - <div> |
36 | | - <p class="keyhelp"> |
| 32 | + <div class="keyhelp"> |
| 33 | + <p> |
37 | 34 | <kbd>r</kbd> |
38 | 35 | <kbd>m</kbd> |
39 | 36 | <kbd>x</kbd> |
|
42 | 39 | {% endif %} |
43 | 40 | toggle line displays |
44 | 41 | </p> |
45 | | - <p class="keyhelp"> |
| 42 | + <p> |
46 | 43 | <kbd>j</kbd> |
47 | | - <kbd>k</kbd> next/prev highlighted chunk |
| 44 | + <kbd>k</kbd> |
| 45 | + next/prev highlighted chunk |
48 | 46 | </p> |
49 | | - <p class="keyhelp"> |
| 47 | + <p> |
50 | 48 | <kbd>0</kbd> (zero) top of page |
51 | 49 | </p> |
52 | | - <p class="keyhelp"> |
| 50 | + <p> |
53 | 51 | <kbd>1</kbd> (one) first highlighted chunk |
54 | 52 | </p> |
55 | | - <p class="keyhelp"> |
| 53 | + <p> |
56 | 54 | <kbd>[</kbd> |
57 | 55 | <kbd>]</kbd> |
58 | 56 | prev/next file |
59 | 57 | </p> |
60 | | - <p class="keyhelp"> |
61 | | - <kbd>u</kbd> back to the index |
| 58 | + <p> |
| 59 | + <kbd>u</kbd> up to the index |
62 | 60 | </p> |
63 | | - <p class="keyhelp"> |
| 61 | + <p> |
64 | 62 | <kbd>?</kbd> show/hide this help |
65 | 63 | </p> |
66 | 64 | </div> |
67 | 65 | </div> |
68 | | - </div> |
| 66 | + </aside> |
69 | 67 |
|
70 | 68 | <h2> |
71 | 69 | <span class="text">{{nums.n_statements}} statements </span> |
|
77 | 75 | {% endif %} |
78 | 76 | </h2> |
79 | 77 |
|
80 | | - <p> |
| 78 | + <p class="text"> |
81 | 79 | <a id="prevFileLink" class="nav" href="{{ prev_html }}">« prev</a> |
82 | 80 | <a id="indexLink" class="nav" href="index.html">^ index</a> |
83 | 81 | <a id="nextFileLink" class="nav" href="{{ next_html }}">» next</a> |
|
86 | 84 | created at {{ time_stamp }} |
87 | 85 | </p> |
88 | 86 |
|
89 | | - <div style="display: none;"> |
90 | | - <button type="button" class="button_next_chunk" data-shortcut="j">Next highlighted chunk</button> |
91 | | - <button type="button" class="button_prev_chunk" data-shortcut="k">Previous highlighted chunk</button> |
92 | | - <button type="button" class="button_top_of_page" data-shortcut="0">Goto top of page</button> |
93 | | - <button type="button" class="button_first_chunk" data-shortcut="1">Goto first highlighted chunk</button> |
94 | | - <button type="button" class="button_prev_file" data-shortcut="[">Previous file</button> |
95 | | - <button type="button" class="button_next_file" data-shortcut="]">Next file</button> |
96 | | - <button type="button" class="button_to_index" data-shortcut="u">Back to the index</button> |
97 | | - <button type="button" class="button_show_hide_help" data-shortcut="?">Show/hide keyboard shortcuts</button> |
98 | | - </div> |
| 87 | + <aside class="hidden"> |
| 88 | + <button type="button" class="button_next_chunk" data-shortcut="j"/> |
| 89 | + <button type="button" class="button_prev_chunk" data-shortcut="k"/> |
| 90 | + <button type="button" class="button_top_of_page" data-shortcut="0"/> |
| 91 | + <button type="button" class="button_first_chunk" data-shortcut="1"/> |
| 92 | + <button type="button" class="button_prev_file" data-shortcut="["/> |
| 93 | + <button type="button" class="button_next_file" data-shortcut="]"/> |
| 94 | + <button type="button" class="button_to_index" data-shortcut="u"/> |
| 95 | + <button type="button" class="button_show_hide_help" data-shortcut="?"/> |
| 96 | + </aside> |
99 | 97 | </div> |
100 | 98 | </header> |
101 | 99 |
|
|
0 commit comments