Hello, I can't find a way to change the font size of the produced diff, is there some hack I can make to change it? Thanks!