Font size

 From:  3image
8037.1 
Hello,

I would like to have my interface (panels, icons, and so on) stay the same size, but would like the font size in the types and colors panels to be smaller. Is that possible to make? I'm using v3.