Fixed-width font for names of MKWS-special HTML attributes.