According to the developer tools in my browser (Firefox Windows), the font is specified as
font-family: Menlo, Monaco, Consolas, "Courier New", monospace;
The browser will pick the first one of these that it supports. For me, it's Consolas since I don't appear to have Menlo or Monaco installed.
In any case, the actual font used is browser and OS dependent.