Gutter text color

1

Please ignore: This was caused by a browser extension.

There is some magic going on when setting the color CSS property for gutter. Whatever I set the property to, and no matter what classes I use (.cm-gutters, .cm-gutters .cm-gutter .cm-gutterElement) the color gets always overridden. When I set it to “red”, the gutter does end up with an off-red color. But what I want to achieve, a lower contrast darker gutter, seems to be impossible.

Example of what I want to achieve:
Screen Shot 2021-05-06 at 23.03.02

Let me know if I should provide a better repro. I’m on EditorView 0.18.9.

EditorView.theme(
  {
    ".cm-gutters": {
      color: "#444",
    },
)
2

Doing something like that seems to work for me. So a full (but minimal) example might help figure out what’s going on.

3

Let me know if this doesn’t work:

Here are some screenshots from my actual instance (not the minimal repro):

Screen Shot 2021-05-06 at 22.59.19
Screen Shot 2021-05-06 at 22.59.191458×490 104 KB
Screen Shot 2021-05-06 at 22.59.35
Screen Shot 2021-05-06 at 22.59.35656×512 42.8 KB
Screen Shot 2021-05-06 at 22.59.45 Screen Shot 2021-05-06 at 23.01.54 Screen Shot 2021-05-06 at 23.02.03 Screen Shot 2021-05-06 at 23.02.18

4

Actually sorry for the noise, this was caused by a browser extension. Not related to CodeMirror.