changed font size checkbox default from j==highlightcolor to j==fontSize; other related changes