bug#22207: emacs-25 mishandles info code text on Fedora 23

[Glenn Morris]

(Typo, I meant "fixed-pitch".)

Eli Zaretskii wrote:

> Probably because the default font is a fixed-pitch font, no?  IOW,
> wouldn't this be a no-op on all platforms?

Durh, probably, yes. Silly me.

>> "Sans Mono" works for me.
>
> Where "works" means what?

Gives a face that looks different from the default in "the right way"
for a "typewriter" face. The default face is "DejaVu Sans Mono",
"Sans Mono" selects "Latin Modern Mono". This all sounds like a massive
fluke now that I look at the details.

Anyway, as Stefan suggested, there should be some single face that
Info-quoted and tex-verbatim inherit from. What the defaults of that face
should be are another issue. Inherit from string face?