请教一下怎么改球员属性的字体大小？

ryanesh

<!-- text settings that vary from the defaults -->
        <integer id="hint_size" value="8"/>
        <integer id="title_size_large" value="16"/>
        <integer id="title_size_normal" value="15"/>
        <integer id="title_size_small" value="11"/>
        <integer id="title_style" value="semi_bold"/>
        <integer id="menu_size_small" value="7"/>
        <integer id="menu_size_normal" value="8"/>
        <integer id="menu_size_large" value="10"/>
        <integer id="control_size_normal" value="8"/>
        <integer id="text_size_small" value="7" />
        <integer id="text_size_normal" value="9" />
        <integer id="text_size_large" value="10" />

改哪一行呢？