Get the JMP Default Dark color theme

[#1]

Hello,

Is there anyway I could extract all the color codes used in these color themes, using JSL or any another way?

I do have difficulties in dealing with colors, hence I rely more on HEX codes, or numeric codes. 

Thank you.