ebnf-terminal-border-width

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


Documentation:
Specify border width for terminal box.

You can customize this variable.

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