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(-) (limited to 'server/src') 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