From 79ac1c922b5c72ec9caea3e417ae790b0ebf7394 Mon Sep 17 00:00:00 2001 From: Johannes Bechberger Date: Thu, 29 Sep 2022 10:39:56 +0200 Subject: [PATCH 1/2] Use equal sized numbers Fixes #4253 --- res/css/style.css | 3 +++ 1 file changed, 3 insertions(+) diff --git a/res/css/style.css b/res/css/style.css index 8f0e933afc..b157f1bc94 100644 --- a/res/css/style.css +++ b/res/css/style.css @@ -21,6 +21,9 @@ body { Oxygen-Sans, Ubuntu, 'Noto Sans', 'Liberation Sans', Cantarell, 'Helvetica Neue', sans-serif; font-size: 11px; + + /* equal size all numbers, so that longer numbers are larger */ + font-variant-numeric: tabular-nums; /* Disable the "rubberband" overscrolling effect in Chrome. This happens when * using the charts and the scroll wheel. */ From 8297bd63692473cc74390a0bb81e8a09bc403b12 Mon Sep 17 00:00:00 2001 From: Julien Wajsberg Date: Thu, 29 Sep 2022 15:55:18 +0200 Subject: [PATCH 2/2] Fix linting issues --- res/css/style.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/res/css/style.css b/res/css/style.css index b157f1bc94..03e8dea49e 100644 --- a/res/css/style.css +++ b/res/css/style.css @@ -21,7 +21,7 @@ body { Oxygen-Sans, Ubuntu, 'Noto Sans', 'Liberation Sans', Cantarell, 'Helvetica Neue', sans-serif; font-size: 11px; - + /* equal size all numbers, so that longer numbers are larger */ font-variant-numeric: tabular-nums;