Page tree

Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Comment: Published by Scroll Versions from space KPS and version 8.4

...

Defines the width of the vertical gutter, which runs from top to bottom down the proof. If proofs do not maximize the width of a cell, the space between two proofs may appear larger than the specified gutter value.