Подскажите шрифт

http://www.youtube.com/watch?v=kRSgB5CuH1Q
Ну очень мне понравился шрифт в консоли. Буду очень признателен.

Похоже на Consolas.

Спасибо огромное! Самое странное, что я на putty раньше пользовался этим шрифтом, а сейчас не распознал его.