in style/js/public.js [59:70]
$('div.clipboard_container').each(function(index) {
var clipboard = new ZeroClipboard();
clipboard.clip( $(this).find(":first")[0], $(this)[0] );
var target0 = $(this).next();
var target = target0.clone();
target.find('.nocopy').remove();
var txt = target.text();
clipboard.on( 'dataRequested', function (client, args) {
handleHideCopy( target0.closest('div.highlight') ); //not necessary but nicer feedback
client.setText( txt );
});
});