Would it make sense to use `set-larger-font-size()` here?