diff --git a/src/css/codemirror.css b/src/css/codemirror.css index 161590cc6..8485a2ab9 100644 --- a/src/css/codemirror.css +++ b/src/css/codemirror.css @@ -1,5 +1,4 @@ .codeMirrorContainer { - font-size: 12px; line-height: 1.25; overflow: hidden; position: relative; @@ -9,6 +8,7 @@ box-sizing: border-box; color: var(--ink-1); flex-grow: 1; + font-size: var(--monospace-size); height: 100%; width: 100%; } diff --git a/src/css/common.css b/src/css/common.css index d8bb7aff7..56993f9e2 100644 --- a/src/css/common.css +++ b/src/css/common.css @@ -62,7 +62,7 @@ a:hover { code, .code { background-color: var(--surface-2); font-family: monospace; - font-size: smaller; + font-size: var(--monospace-size); padding: 2px 4px; } hr { diff --git a/src/css/logger-ui.css b/src/css/logger-ui.css index 302899793..fb780462c 100644 --- a/src/css/logger-ui.css +++ b/src/css/logger-ui.css @@ -72,7 +72,7 @@ textarea { .vscrollable { direction: ltr; flex-grow: 1; - font-size: small; + font-size: var(--font-size-smaller); overflow-x: hidden; overflow-y: auto; } diff --git a/src/css/themes/default.css b/src/css/themes/default.css index 2d1a73dd7..11ef3fbd4 100644 --- a/src/css/themes/default.css +++ b/src/css/themes/default.css @@ -129,11 +129,13 @@ --font-size: 14px; --font-size-smaller: 13px; --font-family: Inter, sans-serif; + --monospace-size: 12px; } :root.mobile { --font-size: 16px; --font-size-smaller: 14px; + --monospace-size: 13px; } /*