Hi,
In the import Highlighting process, I noticed some of my Highlighting(s) does not look right. Some examples:
L3 -> import to L4 "Gospel" Style from My own Palette (looks OK on L3 - actually from L3 default Style)

L4 - default "Gospel" Style

L3 -> import to L4 "God" Style from My own Palette (looks OK on L3 - actually from L3 default Style)

L4 default "God" Style

It could be an importing issue, but I just want to change it; so I like to see how is done in the default palette. However, I cannot find a way to copy and rename the Inductive Palette like in L3.