use dtkThemes in dtkWidgetsHUDInfo

3 jobs for develop in 0 seconds (queued for 12 seconds)