File saving with a new json format. Accompanying style changes.