Como eu mudo o tamanho da fonte no menu de contexto do Gnome 3?

Question

Estou usando o tema X-Arc-Darker para o GNOME 3. Procurei muitas opções em ~/.themes/X-Arc-Darker/gnome-shell/gnome-shell.css , mas não consegui encontrar nenhuma que permita alterar o tamanho da fonte nos menus e no menu de contexto? É possível? Se sim, como faço isso?

Fonte do menu:

Fontedomenudecontexto: