[@ipstenu Moderator 16 years, 6 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)