Does anyone know what font is used for the Panel? I list my desktops by name rather than number and would like to change the size of the font for those names. Is there a way to do this? I already have the Panel size set to tiny.

Thanks, Darrell Cormier

p.s. this is KDE 3.0.4 on SuSE 8.0