1
0
mirror of https://github.com/gorhill/uBlock.git synced 2024-11-07 11:22:38 +01:00

Fix overly small font size in element picker

This commit is contained in:
Raymond Hill 2022-02-06 18:50:16 -05:00
parent 47d211ac5c
commit 32207c1219
No known key found for this signature in database
GPG Key ID: 25E1490B761470C2

View File

@ -73,7 +73,6 @@ html#ublock0-epicker,
#ublock0-epicker section .codeMirrorContainer { #ublock0-epicker section .codeMirrorContainer {
border: none; border: none;
box-sizing: border-box; box-sizing: border-box;
font: 11px monospace;
height: 8em; height: 8em;
max-height: 50vh; max-height: 50vh;
min-height: 1em; min-height: 1em;
@ -200,7 +199,7 @@ html#ublock0-epicker,
border: 1px solid transparent; border: 1px solid transparent;
cursor: pointer; cursor: pointer;
direction: ltr; direction: ltr;
font: 11px monospace; font-family: monospace;
white-space: nowrap; white-space: nowrap;
} }
#ublock0-epicker #candidateFilters .changeFilter li.active { #ublock0-epicker #candidateFilters .changeFilter li.active {