publish benchmark report

history_files/bootstrap-3.3.5/js/npm.js

@@ -0,0 +1,13 @@
+// This file is autogenerated via the `commonjs` Grunt task. You can require() this file in a CommonJS environment.
+require('../../js/transition.js')
+require('../../js/alert.js')
+require('../../js/button.js')
+require('../../js/carousel.js')
+require('../../js/collapse.js')
+require('../../js/dropdown.js')
+require('../../js/modal.js')
+require('../../js/tooltip.js')
+require('../../js/popover.js')
+require('../../js/scrollspy.js')
+require('../../js/tab.js')
+require('../../js/affix.js')

history_files/header-attrs-2.19/header-attrs.js

@@ -0,0 +1,12 @@
+// Pandoc 2.9 adds attributes on both header and div. We remove the former (to
+// be compatible with the behavior of Pandoc < 2.8).
+document.addEventListener('DOMContentLoaded', function(e) {
+  var hs = document.querySelectorAll("div.section[class*='level'] > :first-child");
+  var i, h, a;
+  for (i = 0; i < hs.length; i++) {
+    h = hs[i];
+    if (!/^h[1-6]$/i.test(h.tagName)) continue;  // it should be a header h1-h6
+    a = h.attributes;
+    while (a.length > 0) h.removeAttribute(a[0].name);
+  }
+});

history_files/highlightjs-9.12.0/default.css

@@ -0,0 +1,21 @@
+.hljs-literal {
+  color: #990073;
+}
+
+.hljs-number {
+  color: #099;
+}
+
+.hljs-comment {
+  color: #998;
+  font-style: italic;
+}
+
+.hljs-keyword {
+  color: #900;
+  font-weight: bold;
+}
+
+.hljs-string {
+  color: #d14;
+}

history_files/highlightjs-9.12.0/textmate.css

@@ -0,0 +1,19 @@
+.hljs-literal {
+  color: rgb(88, 72, 246);
+}
+
+.hljs-number {
+  color: rgb(0, 0, 205);
+}
+
+.hljs-comment {
+  color: rgb(76, 136, 107);
+}
+
+.hljs-keyword {
+  color: rgb(0, 0, 255);
+}
+
+.hljs-string {
+  color: rgb(3, 106, 7);
+}