Closed Mottie closed 5 years ago
Hmm, I would probably just duplicate the whole block into all github themes and add a comment that any change done on this block needs to be done on all github themes as well.
The problem was actually the default e.g. 10px
that was made as the default for code font size.
The period must have been messing up the parser.
Edit: The actual problem was the default font size setting
I pushed a new release today and broke usercss installation/updating. The problem is the syntax highlighting selectors immediately before the github syntax theme placeholder:
The only solution I've been able to come up with (so far) is to replace that block with another placeholder
then add the following block to the usercss metadata:
It works, but it makes the usercss options menu ugly and would break the style for users that install github-dark.css directly.