The users can edit those themes with special software such as NotePad++, VisualStudio Code, Atom, etc. The other way out is simply to contact our support team and tell them about your question.