Grazie per la risposta veloce! Avevo effettivamente notato il !important e provato ad aggiungerlo al mio, senza successo. La cosa strana è che, provando ora, quando salvo la modifica e la pagina si ricarica, per un istante appare della dimensione corretta, poi si rimpicciolisce di nuovo. E nell’Inspector sembra che stia facendo la cosa giusta:
Almeno nel senso che i 35px sono disabilitati. Ma l’ordine sembra strano, per lo meno. E in ogni caso non funziona ancora. Strano.
Sto inserendo questo nel Common CSS, per quel che vale…
Aggiornamento: l’ho trovato! È:
.d-header #site-logo { height: 2.667em; }
nel header.scss!
E se aggiungo la mia height: con !important, funziona!