>In 64-bit Win7 using Firefox 17.0.1 and IE 9.0.8112, it is the same in both Firefox and IE. I think it looks different in IE because the border around the textbox is 1 pixel bigger in Firefox.
I am confused. The first line says it is the same. But, the second line says it looks different in IE. Can you precise?