ebnf-special-border-width

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

0.5

Documentation:
Specify border width for special box.

You can customize this variable.

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