ebnf-special-font

ebnf-special-font is a variable defined in `ebnf2ps.el'.
Its value is

(7 Courier "Black" "Gray95" bold italic)

Documentation:
Specify special 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.