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