made errors/warnings bold

This commit is contained in:
skyanth 2019-06-05 15:34:46 +02:00
parent 4f2719e616
commit 08f66ecaaa

View File

@ -608,6 +608,7 @@ there.
.errortext {
background-color: black;
color: <xsl:value-of select="$color_moderate"/>;
font-weight: bold;
}
.censoredblock, .censoredtext {