I am not exactly sure which `<div>` elements you are concerned about. The way it is in this pull request is actually more narrow (i.e. safer) than the way it is in master.


The following would be more consistent with the code in master:

```
.CodeMirror-scroll {
    background-color: @background-color-3;
}
.CodeMirror {
    .code-font();
}
```

Or are you suggesting this?

```
.CodeMirror .CodeMirror-scroll {
    background-color: @background-color-3;

    .code-font();
}
```