#1332: Add navigation class to taxonomy widget when a new option is checked.