<script> window.Void = (function Void(){}); </script>
<script src="/ajax-navigation.js"></script>
<script src="/local-file-tweaks.js"></script>
<script src="/{{ .Lang }}/searchindex.js"></script>
<script src="/lib/fuse.min.js"></script>
