<commit_before><!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">
<html><head>
<title>Prettify Themes Gallery</title>
<style type="text/css">
iframe { width: 100%; border-width: 1px }
</style>
<script>
var allThemes = ['desert', 'sunburst'];

// Called by the demo.html frames loaded per theme to
// size the iframes properly and to allow them to tile
// the page nicely.
function adjustChildIframeSize(themeName, width, height) {
  if (typeof console != 'undefined') {
    console.log('adjusting size for child ' + themeName + ' to ' + width + 'x' + height);
  }

  var frame = window.frames[themeName];
  var container = frame.parentChild;
  container.style.width = (+width + 16) + 'px';
  frame.style.height = (+width + 16) + 'px';
  container.style.display = 'inline-block';
}
</script>
</head>

<body>
<noscript>This page requires JavaScript</noscript>
<h1>Gallery of themes</h1>
<script>(function () {
  // Produce an iframe per theme.
  for (var i = 0, n = allThemes.length; i < n; ++i) {
    var theme = allThemes[i];
    var iframe = document.createElement('iframe');
    iframe.name = theme;
    iframe.src = 'demo.html?' + encodeURIComponent(theme);
    var header = document.createElement('h2');
    header.id = theme;
    var linkToThemeSrc = document.createElement('a');
    linkToThemeSrc.href = 'http://code.google.com/p/google-code-prettify/source/browse/trunk/styles/' + encodeURIComponent(theme) + '.css';
    linkToThemeSrc.appendChild(document.createTextNode(
       theme.replace(/\b[a-z]/g,  // Capitalize first letter of each word
       function (letter) { return letter.toUpperCase(); })));
    header.appendChild(linkToThemeSrc);<commit_msg>debug theme gallery<commit_after><!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">
<html><head>
<title>Prettify Themes Gallery</title>
<style type="text/css">
iframe { width: 100%; border-width: 1px }
</style>
<script>
var allThemes = ['desert', 'sunburst'];

// Called by the demo.html frames loaded per theme to
// size the iframes properly and to allow them to tile
// the page nicely.
function adjustChildIframeSize(themeName, width, height) {
  if (typeof console != 'undefined') {
    console.log('adjusting size for child ' + themeName + ' to ' + width + 'x' + height);
  }

  var container = document.getElementById(themeName).parentNode;
  container.style.width = (+width + 16) + 'px';
  container.style.display = 'inline-block';
  container.getElementsByTagName('iframe')[0].style.height = (+width + 16) + 'px';
}
</script>
</head>

<body onload="adjustChildIframeSize()">
<noscript>This page requires JavaScript</noscript>
<h1>Gallery of themes</h1>
<script>(function () {
  // Produce an iframe per theme.
  for (var i = 0, n = allThemes.length; i < n; ++i) {
    var theme = allThemes[i];
    var iframe = document.createElement('iframe');
    iframe.name = theme;
    iframe.src = 'demo.html?' + encodeURIComponent(theme);
    var header = document.createElement('h2');
    header.id = theme;
    var linkToThemeSrc = document.createElement('a');
    linkToThemeSrc.href = (
        'http://code.google.com/p/google-code-prettify/source/browse/trunk/styles/'
        + encodeURIComponent(theme) + '.css');
    linkToThemeSrc.appendChild(document.createTextNode(
       theme.replace(/\b[a-z]/g,  // Capitalize first letter of each word
       function (letter) { return letter.toUpperCase(); })));
    header.appendChild(linkToThemeSrc);
{'fraction_non_alphanumeric': 0.1570926143024619, 'fraction_numerical': 0.007327080890973036, 'mean_word_length': 3.9607558139534884, 'pattern_counts': {'":': 0, '<': 37, '<?xml version=': 0, '>': 35, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '5767455', 'n_tokens_mistral': 1133, 'n_tokens_neox': 1087, 'n_words': 275}