Off-topic: what is the theme and color syntax theme ?