# HG changeset patch
# User Ludovic Chabant <ludovic@chabant.com>
# Date 1541133296 25200
# Node ID 40c7784696727c5f3ae44e1f44e8fdda3def6ff6
# Parent  1ec071454790f2f7e10758a7f168da0e9c7f00ba
web: Reduce top space reserved for menu shortcut when the screen is large.

diff -r 1ec071454790 -r 40c778469672 wikked/assets/css/wikked/nav.less
--- a/wikked/assets/css/wikked/nav.less	Thu Nov 01 21:25:23 2018 -0700
+++ b/wikked/assets/css/wikked/nav.less	Thu Nov 01 21:34:56 2018 -0700
@@ -131,6 +131,13 @@
         display: block;
     }
 }
+// For big enough screens, we don't need to reserve some room at the top
+// for the menu shortcut.
+@media screen and (min-width: 64em) {
+    .wrapper {
+        padding-top: 1.3em;
+    }
+}
 
 
 // Search