[chrishajer]

Does this help at all:

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