Little change of code-highlight style.