function displaySource(name) {
  jQuery('<pre>'
      + jQuery('#source-' + name).html() // jQuery(<script>).text() is broken on IE 5
          .replace(/^\s*|\s*$/g, '')
          .split('\n').slice(2, -2).join('\n')
          .replace(/(\/\/.*)/g, '<i>$1</i>')
      + '</pre>')
    .insertAfter('#display-' + name);
}