Looks like it's one of these:
.alt-mono-font {
font-family: SFMono-Regular,Consolas,Liberation Mono,Menlo,Courier,monospace;
}