From 1a7f055852a931961e3f4e8f82d9dc99c3f626df Mon Sep 17 00:00:00 2001 From: Robin Whittleton Date: Tue, 27 Jul 2021 21:02:02 +0200 Subject: [PATCH] Make web header bigger on desktop --- www/css/web.css | 26 ++++++++++++++++---------- 1 file changed, 16 insertions(+), 10 deletions(-) diff --git a/www/css/web.css b/www/css/web.css index 6e34c70b..47e33d57 100644 --- a/www/css/web.css +++ b/www/css/web.css @@ -4,7 +4,7 @@ body{ font-family: Georgia, serif; font-size: 18px; padding: 0 3em; - margin: 6em auto 3em; + margin: 8em auto 3em; max-width: 55ch; } @@ -18,15 +18,10 @@ body > header{ box-shadow: 0 0 3px #ccc; } -@media(max-width: 96ch){ - body > header{ - position: fixed; - } -} - body > header ul{ display: flex; justify-content: space-between; + align-items: center; list-style: none; margin: 0; padding: 0.5em 1em; @@ -34,10 +29,21 @@ body > header ul{ body > header li:first-child > a{ display: block; - width: 90px; - height: 21px; + width: 180px; + height: 42px; background: no-repeat center/100% url(/images/logo-full.svg); - text-indent: -999em; + font-size: 0; +} + +@media(max-width: 96ch){ + body > header{ + position: fixed; + } + + body > header li:first-child > a{ + width: 90px; + height: 21px; + } } body > nav,