Hi everyone,
I’m using Google Chrome on macOS and noticed that the font used in the interface looks quite different from what I usually see on Windows.
Does anyone know the name of this font?

Screenshot attached for reference.

Thanks in advance!

Menlo  Suggeriti da robbo 

The font used for the code is Menlo.