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/framac.gif" alt=""><span>Frama-C</span></a></span><a role="button" id=
  "menu_toggle" class="menuToggle"><span class="open" onclick="openMenu()"><i></i><i></i><i></i></span><span class="close" onclick="closeMenu()"><i></i><i></i></span></a>

  <nav id="menu" role="navigation">
	<div class="menu-primary-meny-container">
	  <ul id="menu-primary-meny" class="menu">
	  {% for item in site.data.nav %}
	  {% if item.id == include.header %}
	  <li class="menu-item menu-item-type-post_type menu-item-object-page current-menu-item page_item current_page_item">
	  {% else %}	  
	  <li class="menu-item menu-item-type-post_type menu-item-object-page">		
	  {% endif %}
	    <a href="{{ item.link }}">{{ item.name }}</a>
	  </li>
	  {% endfor %}
	  </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>

<script>
function openMenu(){
  var x = document.getElementById("site_header");
  x.classList.add("menuOpen");
}

function closeMenu(){
  var x = document.getElementById("site_header");
  x.classList.remove("menuOpen");
}
</script>