This way, widgets that try to use the DefaultTextStyle don't have to

handle the case where there isn't an explicit default.