{{define "header"}}
	<header id="topbar">
		<table class="position_table">
			<tr>
				<td>
					<h1><a href="/">syzkaller</a></h1>
				</td>
				<td class="search">
					<a href="https://github.com/google/syzkaller/blob/master/docs/found_bugs.md" target="_blank">found bugs</a> |
					<a href="https://groups.google.com/forum/#!forum/syzkaller" target="_blank">mailing list</a> |
					<a href="https://github.com/google/syzkaller" target="_blank">github</a>
				</td>
			</tr>
		</table>
	</header>
	<br>
{{end}}