When the BocList scroll container's top property is set as to not overlap with the fake table head, a pixel rounding issue might occur

The function BocList_FixHeaderSize() in BocList.js calls the fakeTableHeadContainer.height() property using jQuery. The jQuery version in use rounds the returned value of the height() method. This behaviour changed in https://github.com/jquery/jquery/issues/1724 and newer version do return fractional values.

A rounded value can lead to table head overlapping in some cases, causing a minor visual glitch.