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: <input type="number" name="id" id="input-id"> | + | <span width=250px> Quick ID Jump: </span> <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"> | + | <span width=250px>Fuzzy Search:</span> <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> |
Revision as of 00:34, 2 November 2017