vertical spacing bugs

[Mark Polesky]

Brief:

top-margin, bottom-margin, head-separation, and foot-separation display (in 
the pdf output) larger than requested in the \paper block.
_______________________

Verbose:

In the test file below, I've set both paper-width and paper-height to 100mm, 
and manually entered the default values for top-margin (5mm), bottom-margin 
(6mm), head-separation (4mm), page-top-space (12mm), and foot-separation 
(4mm).

I printed the resulting pdf file (centered and with NO page-scaling) and 
measured some distances (as indicated by the annotate-spacing arrows) with a 
ruler.

Here's what I found:

  paper-height = 100m (correct)
  page-top-space = 12mm (correct)

  top-margin = about 9mm
  bottom-margin = about 10.5mm
  head-separation = about 7mm
  foot-separation = about 9mm

That is, paper-height and page-top-space are correct.

Side note #1: annotate-spacing confusingly displays these two values in 
staff-space units instead of millimeters. Maybe there's a good reason, but 
the confusing output should be clarified, I think.

Anyway, the outputs of the remaining four values (top- and bottom-margin, 
head- and foot-separation) are all consistently too large by a factor of 
about 1.775 or so.

Side note #2: On my way here, I think I passed by some horizontal-margin 
spacing bugs, too, but I'll have to catalog those later.

Hope this helps, and THANK YOU!

Mark

_______________________

\version "2.11.57-1"

{ c''4 }

\paper {
  annotate-spacing = ##t
  paper-width = 100\mm
  paper-height = 100\mm  %annotate-spacing displays in staff-space units
  top-margin = 5\mm
  head-separation = 4\mm
  page-top-space = 12\mm  %annotate-spacing displays in staff-space units
  foot-separation = 4\mm
  bottom-margin = 6\mm
}