These fonts are already packaged for Debian and currently reside in "texlive-fonts-extra" package. Unfortunately, this package combined with its dependencies is a 293Mb download and occupies over 750Mb when unpacked. I could make the theme package depend on "texlive-fonts-extra" but a ~300Mb download seems to be an overkill for a <100kB GTK theme package.
Should I request splitting these fonts into individual packages? If yes, how do I do that?