Hello, I have been using project Sea Monkey for quite a while now. I don't like that fact that when I copy and paste into the Sea Monkey, it messes up the original font. Is there a better HTML Editor in which I can copy the text, paste into it and then turn it into a HTML code? Thanks in advance