[Easter Egg] Greasemonkey addon to change openjscad.xyz editor colors and font size.

[animaone]

I'm not sure where should I post this, but I think there may be a good place.
I needed to change some things in the Codemirror editor of jscad, to allow me to focus more on the code while editing models. If someone want to use it: enjoy!

https://gist.github.com/animaone/e35ce0e0cd1f8fc634f229c7f8e586bb