Protect against 'you must use border-box'

[reverofevil]

No description provided.

[marijnh]

I don't like using .something * rules very much. Is there a specific problem you are addressing with these? Could we fix it with specialized rules?

[reverofevil]

.class * rules were used in Bootstrap, so I decided to add the ones which
return browser's default behaviour. The specific problem is that due to
border-box rendering line numbers are (roughly) centered in the gutter.
It's possible that there're some other problems, including plugin-specific
ones. Forced border-box is not a good idea anyway, and I don't know how
could it be fixed to make CM rendering-agnostic.

2014-02-03 Marijn Haverbeke notifications@github.com:

I don't like using .something * rules very much. Is there a specific
problem you are addressing with these? Could we fix it with specialized
rules?

Reply to this email directly or view it on GitHubhttps://github.com//pull/2210#issuecomment-33930635
.

[marijnh]

I agree that yes, this'll mess with 3rd party code. But so would your patch, since a widget expecting bootstrap-style border boxes might be present inside a widget in a CodeMirror editor. There is no perfect solution here (except for Bootstrap changing their approach, which seems unlikely). The reason I dislike blanket * rules is that they tend to produce unexpected effects.

Does attached patch, and the understanding that 3rd party code will have to fix this for themselves, work for you?