ebnf-production-font

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


Documentation:
Specify production header font.

It is a list with the following form:

(SIZE NAME FOREGROUND BACKGROUND ATTRIBUTE...)

Where:
SIZE is the font size.
NAME is the font name symbol.
ATTRIBUTE is one of the following symbols:
bold - use bold font.
italic - use italic font.
underline - put a line under text.
strikeout - like underline, but the line is in middle of text.
overline - like underline, but the line is over the text.
shadow - text will have a shadow.
box - text will be surrounded by a box.
outline - print characters as hollow outlines.
FOREGROUND is a foreground string color name; if it's nil, the default color is
"Black".
BACKGROUND is a background string color name; if it's nil, the default color is
"White".

See `ps-font-info-database' for valid font name.

You can customize this variable.

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