Pour ce qui est de la police, sa taille, etc… ça ne vient pas directement de Darktable. Il utilise le «toolkit» GTK (GTK2 pour la version sur laquelle la plupart d'entre vous se trouve, la 1.6, GTK3 pour la mienne qui est la version de dev).
Pour la version 1.6, on peut modifier ça en éditant le thème GTK:
Il faut copier ce fichier
/usr/share/darktable/darktable.gtkrc dans le répertoire perso: par exemple, dans un terminal, "cp /usr/share/darktable/darktable.gtkrc ~/.config/darktable/darktable.gtkrc" (c'est le «thème» de darktable). Ou sinon, vous faites ça avec un gestionnaire de fichiers, ~/ ça correspond à votre répertoire «home», c'est à dire /home/marc pour moi, par exemple.
Ensuite allez éditer ce fichier (avec ce que vous voulez), et vous trouvez la ligne qui ressemble Ã
font_name = "Sans 8".
Pour agrandir la police, mettez plus gros que 8

En ce qui me concerne, 8 c'est très bien, je n'ai jamais trouvé ça gênant.
Il n'y a pas l'option dans l'interface graphique, de ce que j'ai vu. Et la méthode ne marchera pas avec le futur darktable, il y aura probablement quelque chose d'autre dans le même genre.