@arminunruh thanks for your response. ok, i’ll use the font-family dropdown to make a word bold. a character textformat doesn't really help, because there the font-size is fixed (and it takes more clicks than choosing the correct font-family).
cheers