From 50680ac2edd663fc4988efc8bb70a2d78c8a3a20 Mon Sep 17 00:00:00 2001
From: Augustin Lemesle <augustin.lemesle@cea.fr>
Date: Tue, 8 Sep 2020 11:18:03 +0200
Subject: [PATCH] add color for tab navigation

---
 _includes/headers.html | 4 ----
 assets/css/main.css    | 6 ++++++
 2 files changed, 6 insertions(+), 4 deletions(-)

diff --git a/_includes/headers.html b/_includes/headers.html
index 8ca2eef6..26a25747 100755
--- a/_includes/headers.html
+++ b/_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>
diff --git a/assets/css/main.css b/assets/css/main.css
index be4d6497..0a0eea19 100644
--- a/assets/css/main.css
+++ b/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;
 }
-- 
GitLab