Allow users to control the font used in diffs#1566

cpeel merged 1 commit intoDistributedProofreaders:masterDistributedProofreaders/dproofreaders:masterfrom

cpeel:custom-user-diff-fontcpeel/dproofreaders:custom-user-diff-fontCopy head branch name to clipboard