Newer
Older
<div id="header_iv_point" class="inviewTop"></div>
<span class="brandLogo"><a href="/index.html" rel="home" title=
"Frama-C"><img src="/assets/img/frama-c.png" alt=""><span>Frama-C</span></a></span>
<input class="burger-check" id="burger-check" type="checkbox"><label for="burger-check" class="burger"></label>
{% if item.id == include.header %}
{% endif %}
<a href="{{ item.link }}">{{ item.name }}</a>
</li>
{% endfor %}
<li class="menu-item download">
<a href="/html/get-frama-c.html">Download</a>
</li>
</div>
<a role="button" href="/html/get-frama-c.html" id="header_download_link" class="btnDownload"><span><i class=
"icon icon-curly-left"></i><i class="icon icon-download-arrow"></i><i class="icon icon-curly-right"></i></span></a>
</nav>