ebnf-non-terminal-font

ebnf-non-terminal-font is a variable defined in `ebnf2ps.el'.
Its value is
(7 Helvetica "Black" "White")


Documentation:
Specify non-terminal font.

See documentation for `ebnf-production-font'.

You can customize this variable.

This variable was introduced, or its default value was changed, in version 20 of Emacs.