font size for groups and tags pane

DEVONthink Tips
#1

Is thee a way to control the size of the font in this pane?

#2