Xresources: trying to sort out font sizes