Dark background for TOC

[pankgeorg]

No description provided.

[github-actions]

Try this Pull Request!

Open Julia and type:

julia> import Pkg
julia> Pkg.activate(temp=true)
julia> Pkg.add(url="https://github.com/JuliaPluto/PlutoUI.jl", rev="toc-dark-mode")
julia> using PlutoUI

Or run this code in your browser:

[icweaver]

This is awesome, thanks for working on this Panagiotis! Not sure if this is the right place, but I was wondering if the "Edit or run this notebook" button could also get a little TLC?

I'd be happy to start a PR for this to get the ball rolling if it doesn't require too much Pluto magic 🪄

[fonsp]

hmmmmmm but this is using Pluto's internal CSS variables! Weren't you the one who told me that widget authors surely won't use those and create their own CSS variables?

[fonsp]

@icweaver well spotted! That button is part of Pluto itself, but it is a bit difficult to work on because you can only see it on the export output, which uses Pluto's CSS from the last release... You either have to set up a local file server to replace the pluto CDN while developing (or you just okay I decided to just quickly fix this instead :) fonsp/Pluto.jl@1119602

[pankgeorg]

hmmmmmm but this is using Pluto's internal CSS variables!
yes!

Weren't you the one who told me that widget authors surely won't use those and create their own CSS variables?

I said that widget authors can override those while using them on their own styles! Take a look at this, where I do exactly that :)

[icweaver]

Was hoping to bump this. It looks so good!

[icweaver]