-
Robert Ricci authored
Defines a new style that you *must* include in the @title() element of a page that causes the right javascript and CSS to get loaded Uses a version of highlight.js that has been slightly hacked to: 1) Look for .code-sample instead of "pre code" to find code to highlight 2) Auto-initialize itself at the end Bug: Need to figure out how to *add on to* not override the default style
aeba2ad5