Pluto.jl: Dark mode

[malyvsen]

[malyvsen]

I'm making icons right now, here's a preview:

[fonsp]

For new collaborators - we also have a mood board on google docs! Let us know if you would like to see 👀

[fonsp]

2

[fonsp]

The .css structure should be simpler - no <style> tags inside editor.html

[fonsp]

Perhaps PLUTOCONFIG can be used to send the .css file to the client? But this would give a 'flash of unstyled content'.

Or a simple substitution thing could be made for .jlhtml files: make it so that you can write $(string_interpolation) inside the HTML document, like:

<style src="$(path_to_css)">

This is needed anyways to do #77

Maybe check performance first?

[fonsp]

Maybe it would be good to first check whether Plots.jl (or whatever backend) can be persuaded to work in a dark mode? Otherwise your plots would look pretty bad

[malyvsen]

I think people would need to use PlotThemes.jl for this.
But even if there were a way to make Plots.jl work in dark mode, I don't think we should do it for the user? It would be invisible messing with someone's code.

[fonsp]

Ah okay, I agree 👍

[fonsp]

As discussed in #2, a dark mode can automatically match the system theme, we don't necessarily need our own config for this.

And I would say that the printed document is always in light mode?

[fonsp]

To new contributors: the plan is to rewrite editor.css to use more CSS variables defining a color scheme, font, etc. Then there would be a short CSS defining the color scheme (which can be swapped out for a 'dark mode CSS') and a longer CSS close to what it is today.

This makes it _easier to maintain the package_ because we will only have one CSS file to worry about.

[fonsp]

And check whether all the sample notebooks still look nice

[shahid777-py]

Guys, im new to julia and i love Pluto.jl but is there any way to get dark mode, or did you merge the patch.

[dralletje]

https://github.com/Pocket-titan/DarkMode