From aeb13820394e1b6cba87414be30c2c4059fbcf4e Mon Sep 17 00:00:00 2001 From: Tobias Diekershoff Date: Thu, 9 May 2024 11:45:30 +0200 Subject: [PATCH] make warnings bold as well now the three most severe levels are bold, while the three less severe levels have a normal font weight --- view/global.css | 1 + 1 file changed, 1 insertion(+) diff --git a/view/global.css b/view/global.css index 2f23de9fba..b17de54b34 100644 --- a/view/global.css +++ b/view/global.css @@ -764,6 +764,7 @@ figure.img-allocated-height img{ } .loglevel-warning { color: #ff8c00; /* dark orange */ + font-weight: bold; } .loglevel-error { color: #ff0000; /* red */