spacing of page layout can be adjusted.
For technical reasons, @code{overrideProperty} has to be used for
-setting properties on individual object. @code{\override} may still be
+setting properties on individual object. @code{\\override} may still be
used for global overrides.
By setting @code{annotate-spacing}, we can see the effect of each property.