make warnings bold as well

now the three most severe levels are bold, while the three less severe levels have a normal font weight
pull/14135/head
Tobias Diekershoff 2024-05-09 11:45:30 +02:00
parent 63a7536624
commit aeb1382039
1 changed files with 1 additions and 0 deletions

View File

@ -764,6 +764,7 @@ figure.img-allocated-height img{
}
.loglevel-warning {
color: #ff8c00; /* dark orange */
font-weight: bold;
}
.loglevel-error {
color: #ff0000; /* red */