From 62db8d98559766c06d490d9d4c18ff27587fde0b Mon Sep 17 00:00:00 2001
From: Simon Ochsenreither <simon@ochsenreither.de>
Date: Tue, 16 Sep 2014 18:48:09 +0200
Subject: Spec improvements

---
 spec/public/scripts/main.js | 57 +++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 57 insertions(+)
 create mode 100644 spec/public/scripts/main.js

(limited to 'spec/public/scripts/main.js')

diff --git a/spec/public/scripts/main.js b/spec/public/scripts/main.js
new file mode 100644
index 0000000000..f0509aba41
--- /dev/null
+++ b/spec/public/scripts/main.js
@@ -0,0 +1,57 @@
+function currentChapter() {
+  var path = document.location.pathname;
+  var idx  = path.lastIndexOf("/") + 1;
+  var chap = path.substring(idx, idx + 2);
+  return parseInt(chap, 10);
+}
+
+function heading(i, heading, $heading) {
+  var currentLevel = parseInt(heading.tagName.substring(1));
+  var result = "";
+  if (currentLevel === this.headerLevel) {
+    this.headerCounts[this.headerLevel] += 1;
+    return "" + this.headerCounts[this.headerLevel] + " " + $heading.text();
+  } else if (currentLevel < this.headerLevel) {
+    while(currentLevel < this.headerLevel) {
+      this.headerCounts[this.headerLevel] = 1;
+      this.headerLevel -= 1;
+    }
+    this.headerCounts[this.headerLevel] += 1;
+    return "" + this.headerCounts[this.headerLevel]+ " " + $heading.text();
+  } else {
+    while(currentLevel > this.headerLevel) {
+      this.headerLevel += 1;
+      this.headerCounts[this.headerLevel] = 1;
+    }
+    return "" + this.headerCounts[this.headerLevel]+ " " + $heading.text();
+  }
+}
+
+$('#toc').toc(
+  {
+    'selectors': 'h1,h2,h3',
+    'smoothScrolling': false,
+    'chapter': currentChapter(),
+    'headerLevel': 1,
+    'headerCounts': [-1, currentChapter() - 1, 1, 1],
+    'headerText': heading
+  }
+);
+
+// no language auto-detect so that EBNF isn't detected as scala
+hljs.configure({
+  languages: []
+});
+
+// syntax highlighting after mathjax is loaded so that mathjax can be used in code blocks
+MathJax.Hub.Queue(function () {
+  hljs.initHighlighting();
+  $("pre nobr").addClass("fixws");
+})
+
+$("#chapters a").each(function (index) {
+ if (document.location.pathname.endsWith($(this).attr("href")))
+   $(this).addClass("chapter-active");
+ else
+   $(this).removeClass("chapter-active");
+});
-- 
cgit v1.2.3