ebnf-eps-header-fontebnf-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.