I stumbled upon some interesting css class-value combinations within HTML tags. It seems like a specific JavaScript code is interpreting this, but it's something I haven't encountered before. I came across this on www.woothemes.com/flexslider/ (you need to check the page source to see it)
<pre class="brush: js; toolbar: false; gutter: false;">
Could this be a unique library or JavaScript application that is available for free use?