hmm i've been wondering how i can change the size of the clock font and the menu... i already changed all font sizes in theme.xml and gtkrc or did i miss something?