Font on first- and second-time bars

My question: how can I change the font used by default for the numbers of repeat bars? This used to be possible on the 'Inspector' panel of MS3, but that facility is not found in the current 'Properties' panel.

Ain't it always the way . . . ? An app is revised to introduce improvements, but some simple and useful functions get lost or hidden on the way. If the manual gives an instruction for this, can someone give me the reference, please?