The font used there is a commercial font, so you'll need to buy it in order to use it.
If you're not too picky, you can use Helvetica as a substitute

Your topic has been split in two parts because it was two different fonts in the end

I found a better sample and updated your first message

Edited on Feb 05, 2014 at 09:31 by drf
Looks like it's this font family.
All times are CEST. The time is now 12:40