2026-10-05 09:36:20 +02:00
|
|
|
<!-- retoor <retoor@molodetz.nl> -->
|
|
|
|
|
<form class="field" method="get" action="/docs/search" role="search">
|
2026-10-05 11:25:41 +02:00
|
|
|
<label for="docs-q">Search</label>
|
|
|
|
|
<input id="docs-q" type="search" name="q" value="{{ query or '' }}" placeholder="e.g. session">
|
2026-10-05 09:36:20 +02:00
|
|
|
</form>
|
