The top area div grows 2px more than the splitter. This also prevents the top from shrinking. THis is cause by our use of offsetHeight, and should use clientHeight.
It looks likes this changed in bug 5393.
Created attachment 8438 [details] Simple fix
Comment on attachment 8438 [details] Simple fix r=me
Landed in r14504.