leaflet-extras/leaflet-providers — pull request #52 by jieter (2013-07-11 11:00:40+00:00)
Title: Add highlighting using highlightjs lib.

Not sure if we should add the code to the repo or use some CDN for it, but it looks nice...

![highlight-preview](https://f.cloud.github.com/assets/1470389/781146/f9260f62-ea18-11e2-9e52-b1daccfbdeaa.png)

Any thoughts?