Pluto input cell font size change about pluto.jl HOT 3 CLOSED

If the text is too big or small, we recommend zooming the page in or out, or setting your OS's font size in display settings.

Maybe you could say a bit more about your situation and why you want to change it?

from pluto.jl.

Hi Fons:

Thanks for your response. BTW, just wanted to say that I love your product, Pluto.jl before I go any further. I love that you have learned some good lessons from observablehq for javascript and made something valuable for the Julia community.

Ok, coming back to the topic -- there is no real need to have to change the font size beyond the aesthetics of being able to control the type of font and size like you can do with @htl macro for the DOM. I was looking for something that puts the user in control.

gani -

from pluto.jl.

Thanks for the support, that's nice to hear!

We don't really have settings like that, but you can change the typography of one specific notebook using @htl, like I did in https://plutojl.org/docs/abstractplutodingetjes/ . You can also use this to change the typography of cell inputs I think :)

from pluto.jl.