font size?

<pundir>/style/<themename>.css, around line 16:

.pun {FONT-SIZE: 11px; LINE-HEIGHT: normal}

And adjust FONT-SIZE.

You also might want to adjust this line for IE (around line 23) :

* HTML .pun {FONT-SIZE: 68.75%}