It uses the commonly-used TinyMCE Open Source editor that runs on the server and you type into, in your web browser.
It took me a while to get my head around a web development environment where NOTHING resides on your Desktop computer. Great for mobility. And, of course, getting multiple people involved.