I use Google Chrome.I need to have a very tiny HTML editor and I found Simple Edit. Very small editor,