making json font slightly smaller