On 3/31/25 15:50, Martin Goik wrote:
Turns out it was a font installation / configuration issue on my Linux/
Fedora box. The following CSS supplement worked as expected:
emphasis[role=red] {
color: #FF0000;
font-family: monospace;
}
But when adding »font-weight: bold;« the shit hits the fan: I do see a
proportional rather than a fixed font. Switching the »"monospace" font
family« option in Preferences --> View from its default »Monospaced« to
i.e. »DejaVu Sans Mono« resolved the issue.
Great!
I thus suspect that my system's default monospaced font (whatever that
is) does not supply all font-weights.
Yes, it's almost certainly this. Thank you for this information.
and BTW: A corresponding xxe warning would be nice!
Not that easy to implement.
--
XMLmind XML Editor Support List
xmleditor-support@xmlmind.com
http://www.xmlmind.com/mailman/listinfo/xmleditor-support