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