Difference between revisions of "Team:William and Mary/Outreach DB/Fuzzy Search"

Revision as of 00:34, 2 November 2017 (view source) Cedar ren (Talk | contribs) ← Older edit		Revision as of 00:37, 2 November 2017 (view source) Cedar ren (Talk | contribs) Newer edit →
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">
−	<span width=250px> Quick ID Jump: </span> <input type="number" name="id" id="input-id">	+	Quick ID Jump:<br /> <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">
−	<span width=250px>Fuzzy Search:</span> <input type="text" name="fuzzy" id="input-fuzzy">	+	Fuzzy Search:<br /> <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:37, 2 November 2017