From the article:

[MicroLighter is a] tiny, dependency-free syntax highlighter for the web.

[It] uses the CSS Custom Highlight API and TextMate grammars. It highlights code without adding a <span> around every token, so your markup stays clean and editable.