Bem, a solução é alterar a fonte e o tamanho no tema de shell padrão do Arc-Dark localizado em /usr/share/themes/Arc-Dark/gnome-shell/gnome-shell.css
, ou seja,
stage {
font-family: Ubuntu Condensed;
font-size: 11pt;
color: #D3DAE3; }
Em seguida, selecione "Arc Dark" como tema do shell usando o GNOME Tweaks.