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.