/* Grosses Logo beim Einstieg (Startseite oder direkter Aufruf), verkleinert sich beim Scrollen.
   Klassen auf <html>: logo-gross (Logo gross), logo-push (Inhalt um die Zusatzhöhe nach unten). */
:root { --rh-logo-gross: min(7.5rem, 24vw); }
header .site-logo { transition: height .35s ease; }
header .site-logo img { height: 100%; width: auto; }
header > div:first-child { transition: height .35s ease; }
html.logo-gross header .site-logo { height: var(--rh-logo-gross); }
html.logo-gross header > div:first-child { height: calc(var(--rh-logo-gross) + 1.5rem); }
html.logo-push header + * { padding-top: var(--rh-logo-push, 0px); }