• Robert Ricci's avatar
    First cut of highlighting code samples · aeba2ad5
    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
cloudlab-manual.scrbl 2.5 KB