_includes/headers.html

@@ -16,11 +16,7 @@
 	    <a href="{{ item.link }}">{{ item.name }}</a>
 	  </li>
 	  {% endfor %}
-	  {% if include.header == "download" %}
-	  <li class="menu-item current-menu-item download">
-	  {% else %}	  
 	  <li class="menu-item download">		
-	  {% endif %}
 	    <a href="/html/get-frama-c.html">Download</a>
 	  </li>
 	  </ul>

assets/css/main.css

@@ -529,6 +529,12 @@ div#wpadminbar:hover div#wp-toolbar {
   padding: 10px;
   display: block;
 }
+
+a:focus {
+  color: #f36521 !important;
+  border: 1px dotted #f36521 !important;
+}
+
 .siteHeader nav li.current-menu-item a {
   color: #000;
 }