[@ipstenu Moderator 17 years, 3 months ago]

See this: https://bbpress.org/forums/topic/adjust-size-of-hot-tags

(I added ‘hot tags’ as a tag to it, since that seemed logical)