Can you help me finding what font is used here ?

Thx.

Bitstream Vera Sans Mono  Vorgeschlagen von fmontpetit 

I think in programming its called plain text. Check the Wikipedia article here: http://en.wikipedia.org/wiki/Plain_text

It's Consolas or Bitstream Vera Sans Mono. It's scripting (programming) its plain text.

Could you not simply have checked the source code?
Just look for the css bit!

the source code of the IDE ?!