As mentioned in the comments to this answer on meta, Martin's improved syntax highlighting is installed now. Somehow it happened that not the most recent version got installed (or it didn't get installed as is). The effect is that \def
, \newcommand
and friends get a colour doesn't fit into our design.
Thus my question: Do we want an extra colour for those commands at all? (I don't.) If yes, maybe Jin can have a look what colour would fit.
Another thing: $
and &
also get coloured (which I like), but also this colour is slightly obtrusive in my opinion. Thoughts?
\@...
are highlighted correctly (i.e. fully), but with others only the\@
. Also in the first mentioning of\mytitle
it is correct, but the second one only the\my
is highlighted!! I really have to look into that.