ebnf-eps-header-font

ebnf-eps-header-font is a variable defined in `ebnf2ps.el'.
Its value is
(11 Helvetica "Black" "White" bold)


Documentation:
Specify EPS header font.

See documentation for `ebnf-production-font'.

See `ebnf-eps-buffer' and `ebnf-eps-region' commands.

You can customize this variable.

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