</div> <!-- End dif for page_content -->

</div>
[% IF nav.debug -%]
<input type=hidden id=process_time value=[% process_time %]>
[% END -%]


<script>
[% IF nav.debug -%]
console.log("Serverside process time: "+Math.round(document.getElementById('process_time').value*1000)+' ms');
[% END -%]
</script>
</body>
</html>
