reduced font-sizes slightly on diff-dialog