Se você quiser uma solução rápida e suja, basta editar
/usr/share/gnome-shell/theme/gnome-shell.css
É claro que isso provavelmente será sobrescrito na próxima vez que você atualizar seu pacote gnome-shell.
O modo mais limpo (mas um pouco mais complexo) é criar o seu próprio (mini-) tema: