Line 245: | Line 245: | ||
<div class="col-sm-11" style='padding: top: 50px;font-size: 16px;'> | <div class="col-sm-11" style='padding: top: 50px;font-size: 16px;'> | ||
<form onsubmit="show_details(parseInt(document.getElementById('input-id').value, 10).toString()); return false"> | <form onsubmit="show_details(parseInt(document.getElementById('input-id').value, 10).toString()); return false"> | ||
− | Quick ID Jump: | + | Quick ID Jump: <input type="number" name="id" id="input-id"> |
<input type="submit" id="getid" value="Go"> | <input type="submit" id="getid" value="Go"> | ||
</form> | </form> | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
<form onsubmit="fulltext_search(document.getElementById('input-fuzzy').value); return false"> | <form onsubmit="fulltext_search(document.getElementById('input-fuzzy').value); return false"> | ||
− | + | Fuzzy Search : <input type="text" name="fuzzy" id="input-fuzzy"> | |
<input type="submit" id="get-fuzzy" value="Go"> | <input type="submit" id="get-fuzzy" value="Go"> | ||
− | |||
</div> | </div> | ||
</div> | </div> | ||
− | |||
<!----start's here----> | <!----start's here----> |
Revision as of 00:33, 2 November 2017