Re #254: font size for team page