ui: Add rounded-pill to a few more badges#4539

rjsparks merged 2 commits into

ietf-tools:mainietf-tools/datatracker:mainfrom

larseggert:more-rounded-pillslarseggert/datatracker:more-rounded-pillsCopy head branch name to clipboard