recovered Isabelle font -- deriveFont(Int) refers to style, not size!
recovered Isabelle font -- deriveFont(Int) refers to style, not size!

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle