WebKit rounds line heights in certain situations resulting in a few missing rows when dividing window height by line height. See also: https://bugs.webkit.org/show_bug.cgi?id=225695