In Safari the font used to display code was "Monaco" in eXide v3.1.1.
After an update to eXide v3.2.0 the effective font changed to ".SF NS Mono" (ui-monospace on my system).

As @plutonik-a pointed out the CSS rule that leads to this is

#editor { 
  font-family: ui-monospace, 'Ubuntu Mono', 'Monaco', 'Menlo', 'Droid Sans Mono', 'Courier New', monospace;
}

ui-monospace now takes precedence over "Monaco".

Screenshots:
v3.1.1

v3.2.0

I just wanted to bring this to attention. I am unsure if this change was intentional and would like to discuss what we think is best.