2010-09-11, 03:55
This method does work (editing the font.xml) but only some font sizes are available. If you pick a font size that is unsupported I think it drops back to a default size. These font sizes are available to the "Default" font:
12, 16, 18, 20, 25, 28, 30, 35, 45, 50
There may be others but I just picked these out from the listed sizes already in use. I duplicated the whole default fontset to keep the defaults intact:
< fontset id="Default (Large)" unicode="true" >
Then I simply changed the size of font13 from 20 to 30, and that was enough to change the listings which is all I really needed. Then I changed the font selection in System -> Appearance -> Skin to my new font and bingo!
12, 16, 18, 20, 25, 28, 30, 35, 45, 50
There may be others but I just picked these out from the listed sizes already in use. I duplicated the whole default fontset to keep the defaults intact:
< fontset id="Default (Large)" unicode="true" >
Then I simply changed the size of font13 from 20 to 30, and that was enough to change the listings which is all I really needed. Then I changed the font selection in System -> Appearance -> Skin to my new font and bingo!