bug#19889: tex-verbatim face: don't specify :family?

[Stefan Monnier]

> The tex-verbatim face is defined as
>    '((t :family "courier"))
> Is this a good idea?

I think/thought so.

> AFAICS, it is the only face definition in Emacs that specifies a :family.

There's also

   (defface Info-quoted
     '((t :family "courier"))
     "Face used for quoted elements.")

> It seems to cause problems on some systems, see:
> https://bugzilla.redhat.com/show_bug.cgi?id=684797
> For me on RHEL7, that faces looks poor (blocky/pixellated) compared to
> the other faces Emacs uses.

Maybe we should improve face-font-family-alternatives so as to
automatically find a better courier-like font?

Maybe we also should define a standard/core face for this, which is then
inherited by both tex-verbatim and Info-quoted.


        Stefan