Configure jEdit

Enable brackets mode: Start isabelle with “isabelle jedit -m brackets”

Change the font size: Utilities → Global Options → jEdit → Text Area → Text font

Change Look&Feel: Utilities → Global Options → jEdit → Appearance