Is there a way to change the default syntax highlighting of the code cells in Pluto?
Injecting Css might work with Stylus for a particular browser. But is there a nicer way to add CSS/JS which Pluto will read before launching?
Thanks.
This package GitHub - JuliaAPlavin/PlutoStyles.jl would probably allow you to do what you want.
You can also directly add a cell with an HTML style element if your change is notebook specific rather than general for all notebooks