Thread:Support/Should colon be in bold?

Hello. Please see MediaWiki:Gadget-dynamic-menus/en, MediaWiki:Gadget-google-translate/en, and MediaWiki:Gadget-setuserrights/en. The two firsts have the colon in normal weight whereas the last had the colon in bold, which I uniformized then. However I'd like to be sure about the punctuation that should be preferred, since both methods can be spotted into various parts. Regards,