[Raak] Not just the borders, but also the placing of the corner elements and spacing/padding within the main box. The 'proper' version is able to apply the right styling to all elements based on where they appear; the IE version has to fake a lot of this by hand and is therefore more likely to apply the wrong spacing to the wrong elements. It just looks shit, basically.
[Raak] Bugger, I don't think I kept a copy of that script. Perhaps you could see if Dunx is happy to host, and mail him a copy. If he's unwilling send it along and I'll pop it up somewhere.
Hallowen is over now to look forward to Bonfire night. We will probably be going to an organised event on Saturday and will be taking along our 4 year old for the first time. Previous years the show has been quite spectacular.
[Inkspøt] I've colourised the colour as well as the moniker now.
Also, please wish me luck for the appointment I have at the dentist in 1 hour to remove a wisdom tooth. It's not causing me any pain, so hopefully the nerve is dead, but it is falling apart. I still expect to be sore as it's quite a fiddly place to extract from, though.
I didn't need any antibiotics and it's not been bleeding too much, either. So thanks for all your good wishes!
Hmmm... what's happening I think is that when you just type the character, your browser is sometimes sending it in an ISO-8959-1 encoding (which my script transforms correctly into the appropriate 7-bit clean HTML encoding) whereas other times it decides to go down a two-byte UTF-8 route. It's not clear why it would choose one rather than another. I shall try and see if I can get this server to ask your browser always to use ISO-8959-1 (which will mean people typing in Mandarin will become unstuck); if not I shall investigate PHP's abilities to look at what you send and see if it can do the transformation properly.