changeset 488:40c778469672

web: Reduce top space reserved for menu shortcut when the screen is large.
author Ludovic Chabant <ludovic@chabant.com>
date Thu, 01 Nov 2018 21:34:56 -0700
parents 1ec071454790
children 5955eb74b1c2
files wikked/assets/css/wikked/nav.less
diffstat 1 files changed, 7 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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