From dce321660be15a493f8aed0d796944624fb59604 Mon Sep 17 00:00:00 2001
From: Adeel Khan <kadeel@gmail.com>
Date: Sat, 30 Jul 2016 22:57:56 +0200
Subject: [PATCH] add section numbering, and change theorem numbering to
 per-section

---
 app/views/layouts/default.rhtml | 28 +++++++++++++++++++++++++---
 1 file changed, 25 insertions(+), 3 deletions(-)

diff --git a/app/views/layouts/default.rhtml b/app/views/layouts/default.rhtml
index e350142a..4da3063e 100644
--- a/app/views/layouts/default.rhtml
+++ b/app/views/layouts/default.rhtml
@@ -68,10 +68,32 @@
   <script type="text/javascript">
     /* counters for theorem environments */
     var envs = ["theorem", "lemma", "prop", "cor", "defn", "example", "note", "remark"];
-    var selector = envs.map(function(s) {return ".num_" + s + " .theorem_label"}).join(",");
+    var theorem_label_selector = envs.map(function(s) {return ".num_" + s + " .theorem_label"}).join(",");
     document.observe("dom:loaded", function() {
-      $$(selector).each(function(label, index) {
-        label.insert(" " + (index+1));
+      // add numbering to the table of contents
+      $$(".maruku_toc > ul li a").each(function(x, index) {
+        x.insert({top: (index+1) + ". "});
+      });
+
+      // find the context menu and mark all h2 elements;
+      // we want to skip them below in the numbering
+      $$(".toc.clickDown h2").each(function(x) {
+        x.addClassName("context_menu")
+      });
+
+      // now add the theorem numbering
+      var section_counter = 0;
+      var theorem_counter = 0;
+      // find both section titles and theorem labels, and iterate
+      $$(theorem_label_selector + ",#revision h2:not(.context_menu)").each(function(tag, index) {
+        if (tag.tagName == "h2") { // this is a section title
+          section_counter += 1;
+          theorem_counter = 0;
+          tag.insert({top: section_counter + ". "});
+        } else { // this is a theorem label
+          theorem_counter += 1;
+          tag.insert(" " + section_counter + "." + theorem_counter);
+        }
       });
     });
   </script>