{{define "body"}}
<div class="search-page">
<h1 class="search-title">Search <a href="{{.RepoURL}}">{{.Repo}}</a></h1>
<p class="search-help">Type in the search box above. Options: <b>Aa</b> match case, <b>.*</b> regular expression, <b>\b</b> whole word.</p>
<div class="row">
<input type="text" id="path" name="path" placeholder="path filter, e.g. src/*.c" autocomplete="off" aria-label="Path filter">
</div>
<p id="status" class="status" aria-live="polite">Loading file contents…</p>
<div id="results" class="results"></div>
<noscript><p class="notice">Search runs in your browser and needs JavaScript. You can still <a href="{{.RepoURL}}">browse the files</a>.</p></noscript>
</div>
<script src="{{asset "search.js"}}"></script>
{{end}}