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.
aplavin
38
Related topics
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Pluto plots with PlotlyBase/PlotlyJS with working static html export | 35 | 6541 | August 8, 2021 | |
| Is there any way to get dark mode in Pluto.jl | 9 | 3311 | September 30, 2020 | |
| Announcing Neptune.jl (now updated to multi-line cells!) | 98 | 14526 | January 25, 2022 | |
| Syntax highlighting for Pluto codecells | 2 | 229 | October 1, 2024 | |
| Trouble updating Pluto | 6 | 3825 | August 28, 2020 |