JSON Theme Code Button formatting

Does anyone know the updated values for formatting buttons in Power BI theme?

 

I'm using this reference, but it doesn't work: 

PowerBI-ThemeTemplates/Button.json at master · MattRudy/PowerBI-ThemeTemplates · GitHub

 

I know the button formatting has changed a lot over the years, order and grouping of elements, etc and there were some bugs when the new formatting pane was introduced with button formatting, so imagine the names of everything have since changed?