JSON - pageNavigator Visual - StyleNames & CardNames

Hi,    I'm currently working on a corporate JSON file for our PBI theming and whilst I have found a wealth of resource for everything else, I cannot find any resources online that contain what Styl...