headers.html

<header class="siteHeader" id="site_header">
  <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>
  <nav id="menu" role="navigation">
	<div>
	  <ul class="menu">
	  {% for item in site.data.nav %}
	  {% if item.id == include.header %}
	  <li class="menu-item current-menu-item">
	  {% else %}	  
	  <li class="menu-item">		
	  {% 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>
	  </ul>
	</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>
  
</header>