I had my web designed a while back, and will be doing some tweaks to it on my own. I'd like to stay as close to the old font as possible for the buttons, since most are already made, and there are a couple others not show, that are also already done. Can someone ID the font that's used on the navigation buttons for me?

http://www.redpointclimbing.com

Thanks so much!