From e39e45024b9ab812d81db83ea3bc7008daaf421f Mon Sep 17 00:00:00 2001 From: Jan Jurzitza Date: Fri, 24 Nov 2023 01:35:43 +0100 Subject: [PATCH] fix logo size on firefox (#81) --- docs/stylesheets/extra.css | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/docs/stylesheets/extra.css b/docs/stylesheets/extra.css index b99682e..c099a5c 100644 --- a/docs/stylesheets/extra.css +++ b/docs/stylesheets/extra.css @@ -58,8 +58,13 @@ want the standard DUB fill color for big areas) padding: 0; } -.md-header__button.md-logo :is(img, svg), -.md-header__button.md-logo :-webkit-any(img,svg) { +.md-header__button.md-logo :is(img, svg) { + height: 40px; + width: initial; +} + +/* if this is in the same block as above (comma separated), this won't work in firefox for some reason, so we just duplicate the block */ +.md-header__button.md-logo :-webkit-any(img, svg) { height: 40px; width: initial; }