I was able to find this article that gives the mapping tokens for the panel properties. For example, Text Color has a token name of colorTextDefault. However, it doesn't tell you the token names for Navigation Background Color, Navigation Text Color, and Page Background Color. What are those token names? I want to be able to use them in other Lightning Components I'm developing.

I was able to find this article that gives the mapping tokens for the panel properties. For example, Text Color has a token name of colorTextDefault. However, it doesn't tell you the token names for Navigation Background Color, Navigation Text Color, and Page Background Color. What are those token names? I want to be able to use them in other Lightning Components I'm developing.