SessionTreeDelegate: badge font size take #2