Não tenho certeza se isso é um pouco tarde demais, mas você pode personalizar os valores em /usr/share/gnome-shell/theme/gdm3.css
e isso faz o truque. Basta encontrar a classe screen-shield-clock
e fazer suas alterações. Uma coisa simples que fiz para torná-lo um pouco melhor foi definir o font-weight
to 300
e melhora o visual um milhão de vezes.