1
0
mirror of https://github.com/gorhill/uBlock.git synced 2024-11-01 16:33:06 +01:00

Fix bad font size in DOM inspector

Candidate for a revision for current stable release.
This commit is contained in:
Raymond Hill 2022-02-09 08:35:24 -05:00
parent 80f58a6357
commit 934b57019c
No known key found for this signature in database
GPG Key ID: 25E1490B761470C2
4 changed files with 5 additions and 3 deletions

View File

@ -1,5 +1,4 @@
.codeMirrorContainer { .codeMirrorContainer {
font-size: 12px;
line-height: 1.25; line-height: 1.25;
overflow: hidden; overflow: hidden;
position: relative; position: relative;
@ -9,6 +8,7 @@
box-sizing: border-box; box-sizing: border-box;
color: var(--ink-1); color: var(--ink-1);
flex-grow: 1; flex-grow: 1;
font-size: var(--monospace-size);
height: 100%; height: 100%;
width: 100%; width: 100%;
} }

View File

@ -62,7 +62,7 @@ a:hover {
code, .code { code, .code {
background-color: var(--surface-2); background-color: var(--surface-2);
font-family: monospace; font-family: monospace;
font-size: smaller; font-size: var(--monospace-size);
padding: 2px 4px; padding: 2px 4px;
} }
hr { hr {

View File

@ -72,7 +72,7 @@ textarea {
.vscrollable { .vscrollable {
direction: ltr; direction: ltr;
flex-grow: 1; flex-grow: 1;
font-size: small; font-size: var(--font-size-smaller);
overflow-x: hidden; overflow-x: hidden;
overflow-y: auto; overflow-y: auto;
} }

View File

@ -129,11 +129,13 @@
--font-size: 14px; --font-size: 14px;
--font-size-smaller: 13px; --font-size-smaller: 13px;
--font-family: Inter, sans-serif; --font-family: Inter, sans-serif;
--monospace-size: 12px;
} }
:root.mobile { :root.mobile {
--font-size: 16px; --font-size: 16px;
--font-size-smaller: 14px; --font-size-smaller: 14px;
--monospace-size: 13px;
} }
/* /*