XML identifier: Button internal margin, as value of integer times 0.1 as percents of available horizontal navbar space.
Purpose: Defines the extra padding of the buttons, to create some room to the left and right of it (as well as above and below).
Status: In use from May 2026, in versions 1.1.8.x and 1.2.6.x.
Category: Single level (aka standard identifier).
Usage: You may use this to increase or decrease button size by adding or removing padding before and after button text.
Default:
Defaults to 17 meaning 0.17% of available horizontal navigation bar space as internal button padding (measured horizontally).
Development status: Released in 1.1.8.x/1.2.6.x. Standard feature, as defined in app config.
Example: Choosing 0.2 % maximum font scaling for buttons on navigation bar:
…
<key>NavMrgnPct</key>
<integer>20</integer>
…
Document Revision: Apr. 2026. Rev. 1.0