Re: Kate: Setting font size for printing