diff options
| -rw-r--r-- | coverage/htmlfiles/index.html | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/coverage/htmlfiles/index.html b/coverage/htmlfiles/index.html index ef4867a8..90802c81 100644 --- a/coverage/htmlfiles/index.html +++ b/coverage/htmlfiles/index.html @@ -27,8 +27,7 @@ <img id='keyboard_icon' src='keybd_closed.png' alt='Show keyboard shortcuts' /> <form id="filter_container"> - <label for="filter">Filter</label> - <input id="filter" type="text" value="" /> + <input id="filter" type="text" value="" placeholder="filter..." /> </form> </div> </div> |