"金正日"を一字にするわけではなくて、金と正と日の太字があっちでは専用のフォント(?)として用意されていて