theme_font ->derived_from: fontChange the font this font is derived from. If it differs, the theme font
copies its family, style, weight and points and drops its window system
font and metrics, so they are computed again on the next use. This does
not update the windows: use
display_manager->fonts_changed
after changing theme fonts.