Fix intCss() in Tips to take care of float value

It fixes a bug on border width calcul in Tips when there is a browser zoom.

To reproduce the bug, you have to zoom + the page BEFORE the tooltip is generated.