tree 4744bafcda10e6bc4bd55b4b5a6dd04cca2cee6f
parent ab5e2368867139691b0226df8f873faebf4dde7e
author Ben Rohlfs <brohlfs@google.com> 1572507211 +0100
committer Paladox <thomasmulhall410@yahoo.com> 1572887420 +0000

Distinguish two monospace fonts: code and mono

Add new css vars to app-theme.

Set 12px default for code and 13px default for mono.

Use "code" just in gr-diff and gr-formatted-text, mono everywhere else.

Ensure that font-size and line-height are set whenever the mono/code
fonts are used.

Fixes the font in the reply dialog being too small.

Fixes the code font in the comment card being too large.

Prominently, the commit message will also use 13px instead of 14px.

Screenshots: https://imgur.com/a/HTHy9fp

Bug: Issue 11839
Change-Id: I4a23ac99233656465707a083428fbe05cb146c95