In the just-released Pluto 0.17.6 ([ANN] Pluto 0.17.6), css file paths and selectors have slightly changed. I’ve updated PlutoStyles (0.1.15) so that it continues working, which required very minor modifications. All the default style adjustments remain effectively the same.
Related topics
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Is there any way to get dark mode in Pluto.jl | 9 | 3206 | September 30, 2020 | |
| How can I change the Pluto notebook theme? | 3 | 121 | November 7, 2024 | |
| [ANN] PlutoTeachingTools.jl: A collection of functions to use with Pluto for tutorials, presentations, lab assignments, | 0 | 702 | August 20, 2022 | |
| [ANN] PlutoStaticHTML.jl | 9 | 2710 | February 7, 2022 | |
| Batch process Pluto.jl notebooks to update packages | 0 | 403 | March 14, 2023 |