search

fonsp / Pluto.jl

🎈 Simple reactive notebooks for Julia
https://plutojl.org/
MIT License
4.91k stars 284 forks source link

Pluto input cell font size change #2742

Closed gganapat closed 7 months ago

gganapat commented 7 months ago
Screenshot 2023-12-09 at 11 00 49 AM

How do I change the input cell font size (and type if possible) in Pluto cells?

Thanks, Gani -

fonsp commented 7 months ago

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?

gganapat commented 7 months ago

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 -

fonsp commented 7 months ago

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 :)