I'm suggesting the first:

```
.CodeMirror {
    .code-font();
}
```

It would be safest to have `.code-font()` and `.mac-code-font()`/`.win-code-font()` applied to the same div.