Menu

#6 box' start-indent added to end-indent

open
nobody
None
5
2001-09-14
2001-09-14
Yann Dirson
No

The following statement causes the box to get the same
amount of space after the box as requested before it.
Thus the effective end-indent is the sum of
start-indent and end-indent.

(make box
start-indent: 3cm
end-indent: 0pt
...)

Discussion