[html] Fix error in tooltip placement; document.body.scrollTop is always zero
[html] Increase padding between mouse cursor and the tooltip
Merge pull request #16 from staktrace/hoverdialog