chore(website): use less text for type checked filter#7993

Merged

JoshuaKGoldberg merged 1 commit intotypescript-eslint:mainfrom

JoshuaKGoldberg:rules-table-smaller-type-checked-button

Dec 2, 2023

Commits on Nov 24, 2023

chore(website): use smaller text for type checked filter
JoshuaKGoldberg
committed