Special tokens, ddoc, better highlighter colors