Yes, this is the exact same code as in fullpage display page (and in fact fullpage raw page).
The actual differentiation is performed in htmlhead, specifically by the code added in htmlhead - (patch).
DejaVu Sans Mono
Droid Sans Mono
Envy Code R
Source Code Pro
The default, whatever it is
Results (310 votes). Check out past polls.