diff --git a/_data/nav.yml b/_data/nav.yml
index f5d6eae93bb6e00573677cdbe61b26e7fddecd31..91f28a3cba018ad2fa0b9f22032d06accc4e2ffc 100644
--- a/_data/nav.yml
+++ b/_data/nav.yml
@@ -1,6 +1,6 @@
-- name: Using Frama-C
-  link: /html/using-frama-c.html
-  id  : using
+#- name: Using Frama-C
+#  link: /html/using-frama-c.html
+#  id  : using
 - name: Features
   link: /html/kernel-plugin.html
   id  : features
diff --git a/assets/css/main.css b/assets/css/main.css
index 8db911ee98cc373101b60113fc4e7968d05dd08a..b3276af34f90f6a95276d98e1f104062ce37bbd2 100644
--- a/assets/css/main.css
+++ b/assets/css/main.css
@@ -459,13 +459,12 @@ div#wpadminbar:hover div#wp-toolbar {
   width: 100%;
   left: 0;
   top: 0;
-  height: 70px;
+  height: 64px;
   z-index: 51;
 }
 @media (min-width:  768px) {
   .siteHeader {
     height: 60px;
-    border-bottom: 1px solid #f7f7f7;
   }
 }
 @media (min-width: 1280px) {
@@ -610,7 +609,7 @@ div#wpadminbar:hover div#wp-toolbar {
     background: #f7931c;
     color: #fff;
     font-size: 20px;
-    height: 60px;
+    height: 58px;
     width: 68px;
     text-align: center;
     line-height: 62px;
@@ -684,7 +683,7 @@ div#wpadminbar:hover div#wp-toolbar {
   }
   .siteHeader .btnDownload {
     font-size: 23px;
-    height: 65px;
+    height: 64px;
     width: 80px;
     line-height: 67px;
   }
@@ -706,24 +705,24 @@ div#wpadminbar:hover div#wp-toolbar {
 }
 .brandLogo {
   position: absolute;
-  top: 6px;
-  left: 6px;
+  top: 0px;
+  left: 10px;
   display: block;
 }
 .brandLogo span {
   display: none;
 }
 .brandLogo img {
-  width: 128px;
+  height: 64px;
 }
 @media (min-width:  768px) {
   .brandLogo {
     position: static;
-    padding: 6px;
+    padding-left: 10px;
     float: left;
   }
   .brandLogo img {
-    width: 104px;
+    height: 60px;
   }
 }
 @media (min-width: 1280px) {
@@ -731,14 +730,13 @@ div#wpadminbar:hover div#wp-toolbar {
     padding: 0;
   }
   .brandLogo img {
-    width: 145px;
+    height: 65px;
   }
 }
 .menuToggle {
   position: absolute;
-  right: 10px;
-  top: 10px;
-  padding: 6px 8px;
+  right: 15px;
+  top: 15px;
   z-index: 62;
   backface-visibility: hidden;
 }
@@ -1638,7 +1636,6 @@ footer .copyright li + li {
 }
 footer .copyright a {
     color: #333;
-    opacity: 0.5;
     border-bottom: 1px solid #bbb;
     display: inline-block;
     padding: 0 2px;
@@ -1653,7 +1650,6 @@ footer .copyright a {
 @media (min-width:  768px) {
   footer {
     background: #fff;
-    border-top: 1px solid #f7f7f7;
     overflow: hidden;
     padding: 32px 5% 0;
     margin-top: -120px;
diff --git a/assets/css/page.css b/assets/css/page.css
index e0debe16f6c8dbfb7261c1f320ef78f194d6e9d1..a671b3b340d55c32c761ce3802ac5357b11ad7ef 100644
--- a/assets/css/page.css
+++ b/assets/css/page.css
@@ -203,7 +203,7 @@
   .authorList .authorInfo {
     text-align: left;
     display: inline-block;
-    width: 152px;
+    width: 252px;
     vertical-align: top;
     padding: 0 8px 12px;
   }
@@ -213,7 +213,7 @@
 }
 @media (min-width: 1024px) {
   .authorList .authorInfo {
-    width: 190px;
+    width: 350px;
     padding: 0 14px 12px;
   }
 }