A while back, I wrote a Firefox extension that converts pinyin with tone numbers into pinyin with tone marks above the appropriate vowels. It works on MS/Mac/Unix and it's a button that sits in your browser's Add-on bar, so it won't get in your way like an IME would when you don't want it. For examp...