feature request for changing fonts

[pehar]

Modifying the theme is not complicated. See this thread : Changing all fonts in the darktable UI
and darktable 3.8 user manual - general ( CSS Theme Modifications )