log.warning("Font shenanigans, default font not found!", "font", font);
return null;
}
// font not found, use the default font at the given size, and style
return getUIFont(new IOSFont(null, IOSFont.defaultFont().iosName(),
font.style(), font.size()));
}