Tim Down 9db3230e97 Merge pull request #13309 from overleaf/td-history-font-size-setting 3 lat temu
..
highlight-locations.ts 6b78c3025a Merge pull request #12884 from overleaf/td-history-diff-line-highlights 3 lat temu
highlights.ts 6b78c3025a Merge pull request #12884 from overleaf/td-history-diff-line-highlights 3 lat temu
theme.ts 9db3230e97 Merge pull request #13309 from overleaf/td-history-font-size-setting 3 lat temu