> As a reader, I don't want page authors to start hard coding sizes into these elements, because then they'll be more likely to choose non-default values to make their page stand out a bit more.

Completely agree. In fact, this is what auditing tools should flag.

Let HTML be HTML!

Frankly, I think that the existing algorithm sounds correct, but I could be wrong.