.alt-mono-font {
font-family: SFMono-Regular,Consolas,Liberation Mono,Menlo,Courier,monospace;
}
If you find yourself wondering this a lot, https://chrome.google.com/webstore/detail/whatfont/jabopobgc... is a fun extnesion.In Firefox:
- Right click on the element, select `Inspect Element`
- Click on the Font tab on the right hand side and it will tell you which font is being used.