diff options
author | Joris | 2020-06-21 11:38:11 +0200 |
---|---|---|
committer | Joris | 2020-06-21 11:38:11 +0200 |
commit | ec90b6ddf191eef8866c82eb619af782f9c9e677 (patch) | |
tree | 217d007da6cc1f6d3ab5fcc3cf7edc3c32db98f7 /server/src | |
parent | 706635ed16266962de75f15a83453cfa1b1bab83 (diff) |
Show header in qutebrowser
Diffstat (limited to 'server/src')
-rw-r--r-- | server/src/Design/View/Header.hs | 12 |
1 files 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 |