The default size is a bit small for 4K display. Can you provide a parameter to change the default font size?