A simple HTML editor