Kate: Setting font size for printing