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.