6dff287cd2
This change makes Splash merge tokens of the same type (along with any whitespace in between them) when generating HTML. The result is much smaller HTML, since less tags have to be used to produce the same result. This was most obvious with comment highlighting, for example, this comment: ``` // Hello I’m a comment ``` Would generate 5 different <span class="comment"></span> elements. Now it’s just one!