[@chrishajer Participant 18 years, 1 month ago]

Does this help at all:

https://bbpress.org/forums/topic/adjust-size-of-hot-tags?replies=3#post-295