Что за шрифт у тега pre

Что за шрифт у тега pre

В стандартных стилях браузера font-family: monospace;