Dear all After having reworked the dialog and the manual, I propose to rename everything related to the character dialog "Text Properties" (instead of "Text Style").
The reason is that almost everyhing set there (except for noun and emph, the only real text styles proper) is static (formal) markup. I propose to reserve "Style" for something that is a defined entity, something whose properties can be changed at a central place (i.e., semantic markup). This also clarifies the UI, where you now have "Character Styles" (semantic markup) and "Text Style" (formal markup) next to each other (I'd even prefer "Text Style" over "Character Style", since the semantic markup does not only change characters, but the appearance of text passages [underlining is not part of a character, for instance, nor is enquoting]). Objections? Jürgen
