chord-name font size issues

[plutek]

greetings!

when using \override ChordName #'font-size to make chord-names smaller,  
the superscripts stay the same distance above the main text baseline.  
i.e. the vertical distance between chord letter and chord type and  
extensions, relative to font size, gets larger.

is this the intended behaviour? i would think that vertical distance  
should be scaled with the font size.

as a workaround, is there a way of globally adjusting the chord-name  
superscript height? i don't see anything in the docs.

i'm on 2.11.12

thanks!


.pltk.