…depend on the available border size.

I've added a big comment to BorderRenderTaskInfo with my current understanding
of the invariants this code is trying to preserve.

Please sanity-check it, but I think this patch should both be sound and also
prevent the scrolling-franzine issue
(https://bugzilla.mozilla.org/show_bug.cgi?id=1489644).

Fixes #3058