Remove alternative-logo padding

It causes layout issues on iOS safari.
haskell-infra · May 5, 2024 · 27ee3d7 · 27ee3d7
1 parent de64b89
commit 27ee3d7
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/site/css/hl.css b/site/css/hl.css
@@ -295,8 +295,7 @@ img {
   height: auto; }
 
 .alternative-logo {
-  filter: drop-shadow(0px 0px 1px black);
-  padding-right: 40px; }
+  filter: drop-shadow(0px 0px 1px black); }
 
 .alternative-logo-visible {
   display: none; }