Line 174: | Line 174: | ||
<body> | <body> | ||
<div class="container"> | <div class="container"> | ||
+ | <div> | ||
+ | <form> | ||
+ | Quick id jump: <input type="number" name="id" id="input-id"><br> | ||
+ | <input type="button" id="getid" value="Go" onclick="show_details(document.getElementById('input-id').value)"> | ||
+ | </form> | ||
+ | </div> | ||
<div id='checkbox-area'> | <div id='checkbox-area'> | ||
Revision as of 20:04, 28 October 2017