$--  This file is a part of template.html file.
$--  It includes everything that will be included in the page header.

$if(include-example-code)$
$-- <!-- You can add more buttons by using the following snippet: -->
<!--
<div class="navbar-button">
	<a href="https://example.com">example.com</a>
</div>
-->
$endif$