I'd need to get access to the present theme, but

DefaultTheme

is just a typedef which also "apparently doesn't have mixins"