By the Quirks Mode spec, the "body fills html" quirk sets the border box size in the block flow direction to the size of the html element minus the margins in body. However, WebKit seems to use the size of the viewport minus the margins, even when the html element has a smaller size. Tests: https://wpt.fyi/results/quirks?label=pr_head&max-count=1&pr=26438
Thanks for filing. I can reproduce this using http://wpt.live/quirks/body-fills-html-quirk.html on Safari 13.1.3 as well as STP 115 (14.1).
<rdar://problem/71545679>