diff options
| -rw-r--r-- | web_src/less/helpers.less | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/web_src/less/helpers.less b/web_src/less/helpers.less index b62ce3494b..0fc5d573fb 100644 --- a/web_src/less/helpers.less +++ b/web_src/less/helpers.less @@ -4,7 +4,7 @@ .js { justify-content: flex-start; } .je { justify-content: flex-end; } .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; } .word-break { word-wrap: break-word; word-break: break-all; } |