ccgvis.js: render outside of <pre><code>