[ui]
scale=1.5
font_size_code=20
font_size_interface=17