No. It’s a custom one for my taste and somewhat high resolution. It requires the Consolas font which is not free but you can acquire it freely. Here is the content of my fonts.json config file:
{
"fontblending" : true,
"fontwidth" : 9,
"fontheight" : 18,
"fontsize" : 18,
"typeface" : "Consolas Bold",
"map_fontwidth" : 9,
"map_fontheight" : 18,
"map_fontsize" : 18,
"map_typeface" : "Consolas Bold",
"overmap_fontwidth" : 9,
"overmap_fontheight" : 18,
"overmap_fontsize" : 18,
"overmap_typeface" : "Consolas Bold"
}
[/quote]
Cheers mate, I agree that it looks pretty great on higher resolution. Much less aggressive on the eyes and generally just smoother!