A wide variety of arts including children's events, theatre, comedy, music, spoken word, dance, film, visual arts and more are on offer at this Buxton-based July festival, this year featuring mainly online events.