Re: [Lilypond-auto] Issue 3027 in lilypond: Changing document fonts with non-standard global font size leads to scaling errors

[lilypond]

Updates:
        Labels: -Type-Ugly Type-Documentation
Comment #2 on issue 3027 by tdaniels...@gmail.com: Changing document fonts  
with non-standard global font size leads to scaling errors
http://code.google.com/p/lilypond/issues/detail?id=3027

I'd prefer to fix the example in

http://lilypond.org/doc/v2.16/Documentation/notation/fonts#entire-document-fonts

so the value of the global staff size is not needed.
This can be calculated from 'staff-height:

#(set-global-staff-size 14)

\paper  {
  #(define fonts
    (make-pango-font-tree "Times New Roman"
                          "Nimbus Sans"
                          "Luxi Mono"
                           (/ (* staff-height pt) 2)))
}

\relative c'{
  c1-\markup {
    roman,
    \sans sans,
    \typewriter typewriter. }
}

but I'd be happier with this fix if I understood
why it has to be divided by 2.

Trevor