From 1c0fa98f0c63e037e7f619271c973bad167bbd00 Mon Sep 17 00:00:00 2001 From: gorhill Date: Thu, 30 Nov 2017 16:27:58 -0500 Subject: [PATCH] fix #3293 (need feedback) --- src/css/logger-ui.css | 13 +++++++++---- 1 file changed, 9 insertions(+), 4 deletions(-) diff --git a/src/css/logger-ui.css b/src/css/logger-ui.css index e0c078a9d..ec163e7ac 100644 --- a/src/css/logger-ui.css +++ b/src/css/logger-ui.css @@ -58,9 +58,14 @@ textarea { padding: 0.2em 0; } +/* + https://github.com/gorhill/uBlock/issues/3293 + => https://devhints.io/css-system-font-stack +*/ #inspectors { bottom: 0; - font: 13px sans-serif; + font-family: "Segoe UI", "Roboto", "Oxygen", "Ubuntu", "Cantarell", "Fira Sans", "Droid Sans", "Helvetica Neue", sans-serif; + font-size: 13px; position: absolute; top: 0; width: 100%; @@ -120,16 +125,16 @@ textarea { width: 100%; } #netInspector table > colgroup > col:nth-of-type(1) { - width: 5em; + width: 4.6em; } #netInspector table > colgroup > col:nth-of-type(2) { - width: 2.5em; + width: 2.2em; } #netInspector table > colgroup > col:nth-of-type(3) { width: 20%; } #netInspector table > colgroup > col:nth-of-type(4) { - width: 2.5em; + width: 2.2em; } #netInspector table > colgroup > col:nth-of-type(5) { width: 6em;