From ca3b68feb54a0f1100b8efd5a7fdaa70ab1bf0fa Mon Sep 17 00:00:00 2001 From: Joe Neeman Date: Mon, 10 Aug 2009 12:04:12 +1000 Subject: [PATCH] Add some padding for headers and footers. --- ly/paper-defaults-init.ly | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/ly/paper-defaults-init.ly b/ly/paper-defaults-init.ly index 33d8ee9a6b..ab598e5a46 100644 --- a/ly/paper-defaults-init.ly +++ b/ly/paper-defaults-init.ly @@ -45,9 +45,9 @@ after-title-spacing = #'((space . 2) (padding . 0.5)) before-title-spacing = #'((space . 5) (padding . 0.5)) between-title-spacing = #'((space . 1) (padding . 0.5)) - first-system-spacing = #'((space . 1) (padding . 0) (min-distance . 0)) + first-system-spacing = #'((space . 1) (padding . 1) (min-distance . 0)) first-system-title-spacing = #'((space . 1) (padding . 1) (min-distance . 0)) - last-system-spacing = #'((space . 1) (padding . 0) (min-distance . 0) (stretchability . 5)) + last-system-spacing = #'((space . 1) (padding . 1) (min-distance . 0) (stretchability . 5)) ragged-bottom = ##f -- 2.39.2