hmm yeah the header logo has gone through a handful of changes over the last year… originally we had a hardcoded px value, but changed it to ems so it scales along with the header when someone uses a larger font-size. We also bumped our base font-size up overall… so through all of that I think we ended up with a fractional logo size.
Bumping it up to an even 40px by default seems reasonable