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.