\override Staff.SustainPedalLineSpanner #'outside-staff-priority = #1000
\override Staff.SustainPedalLineSpanner #'staff-padding = #7
\once \override TextScript #'padding = #2
\override Staff.SustainPedalLineSpanner #'outside-staff-priority = #1000
\override Staff.SustainPedalLineSpanner #'staff-padding = #7
\once \override TextScript #'padding = #2