nav.js

document.write('\
<div style="top: 1em; width: 100%; background: #ccc; padding:0.8em; text-align: center; font-size: 150%;">\
	<kbd><a href="/">Inside the Box</a></kbd>\
	<kbd><a href="/rules.html">Server Rules</a></kbd>\
	<kbd><a href="/rankings.html">Rankings</a></kbd>\
	<kbd><a href="/boxes.html">Boxes</a></kbd>\
	<kbd><a href="/status.html">Status</a></kbd><br />\
	<kbd><a href="/gallery.html">Screenshot Gallery</a></kbd>\
	<kbd><a href="/videos.html">Videos</a></kbd>\
	<kbd><a href="/credits.html">Credits</a></kbd>\
	<kbd><a href="/feedback.html">Feedback</a></kbd>\
	<kbd><a href="https://forum.luanti.org/viewtopic.php?t=18406">Luanti Forum</a></kbd>\
</div>')