From ec90b6ddf191eef8866c82eb619af782f9c9e677 Mon Sep 17 00:00:00 2001
From: Joris
Date: Sun, 21 Jun 2020 11:38:11 +0200
Subject: Show header in qutebrowser

---
 server/src/Design/View/Header.hs | 12 +++++++++---
 1 file changed, 9 insertions(+), 3 deletions(-)

diff --git a/server/src/Design/View/Header.hs b/server/src/Design/View/Header.hs
index 609d8fc..ca1c66e 100644
--- a/server/src/Design/View/Header.hs
+++ b/server/src/Design/View/Header.hs
@@ -67,9 +67,15 @@ design = do
 
 lineHeightMedia :: Css
 lineHeightMedia = do
-  Media.desktop $ lineHeight (px 80)
-  Media.tablet $ lineHeight (px 65)
-  Media.mobile $ lineHeight (px 50)
+  Media.desktop $ do
+    minHeight (px 80)
+    lineHeight (px 80)
+  Media.tablet $ do
+    minHeight (px 65)
+    lineHeight (px 65)
+  Media.mobile $ do
+    minHeight (px 50)
+    lineHeight (px 50)
 
 heightMedia :: Css
 heightMedia = do
-- 
cgit v1.2.3