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

[Glenn Morris]

Stefan Monnier wrote:

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

I see that's relatively new, and only in master.

> 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.

Maybe.
FWIW tex-verbatim looks ok on Debian testing, but as I said not so good
on RHEL7.