Fix monospace font size for .mono CSS class (#13453)

release/v1.15
Cirno the Strongest 2020-11-07 13:54:38 +01:00 committed by GitHub
parent 82cf67a93e
commit 48f8c5e1ae
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -4,7 +4,7 @@
.js { justify-content: flex-start; } .js { justify-content: flex-start; }
.je { justify-content: flex-end; } .je { justify-content: flex-end; }
.sb { justify-content: space-between; } .sb { justify-content: space-between; }
.mono { font-family: var(--fonts-monospace); } .mono { font-family: var(--fonts-monospace); font-size: .9em; /* compensate for monospace fonts being usually slighty larger */ }
.rounded { border-radius: var(--border-radius) !important; } .rounded { border-radius: var(--border-radius) !important; }
.word-break { word-wrap: break-word; word-break: break-all; } .word-break { word-wrap: break-word; word-break: break-all; }