From here, you may set the colours you want to use. The Global Coloration Palette is actually practical because you don’t really need to established the colors time and again. https://hedgedoc.eclair.ec-lyon.fr/s/OYyil2cge