panda_setfontsize.sgml