Re: Globally Increase Padding Between Text and Box?

Am Fr., 31. Juli 2026 um 16:12 Uhr schrieb brin solomon <[email protected]>:

>> Lukas pointed you to the general command you requested.
>> It will affect both \box and \rounded-box.
>>
>> You could also redefine one of them to distinguish them.
>> We have a nice and concise syntax:
>> \markup box = \markup \override #'(box-padding . 5) \box \etc
>> \markup { \box "some text" }
>> \markup { \rounded-box "some text" }
>>
>> Cheers,
>>   Harm
>
>
> Hi Harm,
>
> Ah, I see, that's helpful! Do these also go in the \paper block?

Nope, usually toplevel.