/* Readable inherited metadata; preserve the native small/badge proportions. */
body small, body .small { font-size: max(.75rem, .8em); }
body .badge { font-size: max(.75rem, .75em); }