Merci pour cette réponse rapide ! J’avais en fait remarqué le !important et essayé de l’ajouter dans mon code, mais sans succès. L’étrange, c’est que quand j’essaie maintenant, en sauvegardant ce changement et que la page se rafraîchit, pendant un instant l’élément semble avoir la bonne taille, puis il rétrécit à nouveau. Et dans l’inspecteur, il semble se comporter correctement :
Du moins dans le sens où le 35px est désactivé. Mais l’ordre semble bizarre, en tout cas. Et de toute façon, cela ne fonctionne toujours pas. Étrange.
Je mets cela dans le CSS commun, pour ce que ça vaut…
Mise à jour : j’ai trouvé ! C’est :
.d-header #site-logo { height: 2.667em; }
dans header.scss !
Et si j’ajoute ma propre propriété height: avec !important, cela fonctionne !