marijnh/CodeMirror2 — pull request #717 by peterkroon (2012-08-11 16:24:19+00:00)
Title: [LESS]Improve highlighting

Example code:
```
insert::-webkit-search-decoration{
-webkit-make-awesome:initial;
}
```
Will now be handled in the correct way.