+\version "1.7.18"
+
+\header { texidoc = "@cindex Staff Size
+
+Setting staff sizes is a little clumsy. There are two options: using
+@code{StaffContainer} and override/revert, or
+@code{\outputproperty}. Both methods are shown in this example. "
+
+}
+