Alexander Plavin / PlutoStyles.jl · GitLab - a small package adding the ability to override CSS styles of Pluto.jl notebooks. Or any other static Pluto asset, really.
As you may be aware of, Pluto.jl doesn’t support themes (yet?). I’ve been using in-browser user CSS to modify certain aspects of Pluto styling for a long time. However, it becomes less convenient and practical when switching between multiple computers, and user CSS are not even supported in some mobile browsers. This package allows overriding Pluto styles on the server side, independent of the browser.
I don’t intend to register PlutoStyles.jl in General, so feel free to add it by URL.
Default styles that fit my taste are provided, most notably (i) occupy full window width, and (ii) allow large image sizes in collections. Arbitrary custom overrides are possible, see README at
Nice! Do you have any examples you can show us?
Originally, I thought of the intended
PlutoStyles audience as those who already know what CSS changes they want, and just need a convenient way to apply these modifications. Then the explanations given in README should be enough.
Maybe there are other potential users indeed, who have preferences similar to mine, and would like to use
PlutoStyles defaults. In this case, see some comparison screenshots below!
Another piece of CSS is applied to the index Pluto page. It shows full paths for notebooks, and colors notebooks in the default
I wanted to get rid of the underlining of the full path, but
doesn’t seem to work here for some reason.
How can I use it with the built-in package manager? I didn’t see instructions on how to add a package using a repo path here: 🎁 Package management · fonsp/Pluto.jl Wiki · GitHub
The built-in Pkg manager requires that the package is registered in a Registry.
This needs not to be the official General registry, a private Registry also works if you add it to Julia before starting Pluto (see 🎁 Package management · fonsp/Pluto.jl Wiki · GitHub).
I assume you are talking about Pluto built-in package manager? Because Julia built-in Pkg installs it just fine with
PlutoStyles is not to be imported within notebooks! And shouldn’t be installed via Pluto.
This is the whole point: notebooks stay unmodified and without extra dependencies.
PlutoStyles, and do
julia> using PlutoStyles
julia> import Pluto
to start the notebook server.
Ah… Your readme was not powerful enough to deflect my incorrect assumptions to the correct path.
A big reason I made the mistake is that I usually start Pluto with this alias, so the phase where the change should be done is usually hidden.
alias pluto='julia --project=@. -e "using Pluto
if length(ARGS) > 0
notebook = ARGS
I created a version of this that works with PlutoStyles.
alias plutostyles='julia --project=@. -e "using PlutoStyles
if length(ARGS) > 0
notebook = ARGS
With the Pluto’s built-in package manager, the
--project=@. is probably no longer needed.
I like the wideness of PlutoStyles. No longer does so much of the space get wasted. It’s maybe a bit too wide as some of Pluto’s elements get underneath the scroll bar on a mac, sometimes.
IMHO, the three buttons that open from ‘…’ would be better inside the box, in place of the ‘…’.
This would save one mouse click, and would also solve this problem.
Nice idea for this CLI wrapper! Going to borrow it (:
I typically use Pluto in two different ways: a permanently-running instance on a remote server, and also start a local instance from time to time. Your wrapper conveniently covers both cases.
Yes, the popup menu is indeed beyond the screen edge on all systems. I tried to make it popup to the left of the “…” button, but didn’t succeed in it - maybe someone with a better CSS knowledge helps. Or it gets changed in Pluto itself as you say…
That’s the first and most important modification I made! See Occupy full window width · Issue #400 · fonsp/Pluto.jl · GitHub.
You can use the same CSS that is being used in Pluto if the screen width is too small, which you can find here:
Here is that in action in a pluto notebook where I put the CSS from PlutoStyles in the first cell and the snippet from
editor.css (without @media as you want it active all the time) in the second cell
Do you also happen to know how to fix this?
z-index didn’t help, those run buttons still appear in front of the popup.
That is weird…
I tried adding the same snippet with the z-index as in the editor.css and I get the z-index stacking correctly:
Does it still keep being like that if you put the same css I had in the cell and maybe refresh the browser page?
Interesting, you don’t seem to have these cell footers at all for inactive cells! I see them all the time, in plain vanilla Pluto, on all browsers and devices.
That is weird, looking at the editor.css it should only appear if your cell has non-saved code or if your mouse is focussing the cell
Cell deactivation does not remove footers (or cell timings in them), at least not in default Pluto.
I think @aplavin meant unfocused or something along that line with “inactive”.
Are you instead referring to the disable feature you did introduce recently?
If you look at the latest screenshot from him none of the cells seem disabled but is abyway strange that all cella show the footer even if they are not focused or containing unsaved code
Looks like I played with
z-index wrong on my first try (: Now it works!
PlutoStyles version is available, with the popup menu to the left.
As for cell timings, I actually like that they are always visible. But tried digging in with the browser devtools to understand why anyway. These style lines are shown as active for me:
My guess is the
any-pointer: coarse condition at
is satisfied because all my devices (laptop and tablet) have a touchscreen.