This font size has no precedent either. `0.95em` is what we use for code. If you'd like to make this stuff smaller, please use that instead.