Rename "Synonym" to the more general "Relation". Minor CSS tweaks.