[web] Slight tweak on jQueryUI's colors on links (related to #4564046)
Follow up to commit 16f550b48d57 which was somewhat brutal. This change
only overrides jQueryUI's CSS rules inside tab panes and leaves actual
tab buttons alone.
# migrate default format for TriInfo `comment_format` attribute
sync_schema_props_perms('TrInfo')
commit()