[nielsbot]

I think these are fonts that are generally available on common OSes, so no webfonts needed, in order of preference/specificity. You often (for me, an amateur, anyway) don't know which list of fonts and fallbacks ("stack") to specify if you want a "industrial" font for example. This site has done that research for you.