It seems to be PT Sans.
http://www.fontsquirrel.com/fonts/PT-Sans
Thanks a lot, Jan!
Captured from web.archive.org on 23 Oct 2013. view this capture