I am looking for simple and nice looking text editor like this one

![enter image description here](https://i.stack.imgur.com/cggUU.png)

on this page <http://www.quora.com/How-can-you-use-Python-with-Mahout-as-you-can-with-Hadoop-Streaming> at the bottom. which editor is that one.

I don't like tinymce and its looks