Closed DhruvaSambrani closed 2 years ago
Currently TableOfContents still follows the light theme, but changes in css with the correct theme media queries should fix it. I do not mind doing this, but would like to know the procedure to decide on the exact colors?
TableOfContents
Tagging @20akshay00
This has already been fixed! https://github.com/JuliaPluto/PlutoUI.jl/pull/193 Be sure to update PlutoUI, see https://github.com/fonsp/Pluto.jl/wiki/%F0%9F%8E%81-Package-management
Currently
TableOfContents
still follows the light theme, but changes in css with the correct theme media queries should fix it. I do not mind doing this, but would like to know the procedure to decide on the exact colors?Tagging @20akshay00