9db3230e97
History migration: use font size, font family and line height from user settings in document diff viewer GitOrigin-RevId: 59a0bfe3fa0403a971b7a9b0d5aba2ce37d976c8