How to change the font size of docs in Juno

question

#1

Juno has many panes from source / REPL / Plot / workspace / documentation.

I’m low vision user. I’d like to customize the font size for different panes. There is a font-size setting, however, it will change all the font size. How can I do it separately for them?

For the Documentation, it has styles, the font size does not work for the quoted codes stays unchanged, so is it possible to setup it?

image


#2

I meant to get back to you on this earlier but got distracted – this issue will be fixed with the next release of ink.

In the meantime you can set

.ink .markdown pre {
  font-size: inherit;
}

in your user stylesheet.


#3

Thank you very much. It fix the problem.

Here is a tiny issue

image

The last line characters are somewhat cut due to large font.