ebnf-special-border-width
ebnf-special-border-width is a variable defined in `ebnf2ps.el
'.
Its value is 0.5Documentation: 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.