Note how the lines with jidanni are taller than the rest. > Maybe people force different sizes, via fontsets or some > similar customizations, because of the issue with pixel-width of > double-width characters, but then this is not a general problem with > mixing fonts in the same face. This is with the default font selection mechanism. -- (domestic pets only, the antidote for overdose, milk.) bloggy blog: http://lars.ingebrigtsen.no