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 | 3229 | September 30, 2020 | |
| Customize the HTML export of Pluto notebooks | 2 | 78 | April 10, 2025 | |
| How can I change the Pluto notebook theme? | 3 | 209 | November 7, 2024 | |
| [ANN] PlutoTeachingTools.jl: A collection of functions to use with Pluto for tutorials, presentations, lab assignments, | 0 | 720 | August 20, 2022 | |
| [ANN] PlutoStaticHTML.jl | 9 | 2718 | February 7, 2022 |