>>>>> "Martin" == Martin Vermeer <[EMAIL PROTECTED]> writes:
Martin> What happens is, that we first define a "background font" Martin> against which the actual font will be reduced. It's Martin> initialized to the layout font, then completed with the Martin> font(s) of paragraphs "above" it in a list environment Martin> hierarchy (if any, and if they are any different), and then Martin> completed with the "inset's font contribution". This exists Martin> *only* for charstyle insets, but I decided not to make the Martin> test *that* precise. OK, you can apply your patch to 2019. JMarc
