ebnf-except-border-width
ebnf-except-border-width is a variable defined in `ebnf2ps.el
'.Its value is
0.25
Documentation:
Specify border width for except box.
You can customize this variable.
This variable was introduced, or its default value was changed, in version 20 of Emacs.