Font question

Does anybody know what font is used in the navigation on this site?

http://www.davidgilmour.com