From 22a27c8391e18dba15a8cff133b763b3ec76cadb Mon Sep 17 00:00:00 2001
From: Jacques Distler <distler@golem.ph.utexas.edu>
Date: Fri, 23 Sep 2011 15:18:08 -0500
Subject: [PATCH] Fix Theorem Environment

The fixRunIn() Javascript method
assumed that the next element after
the header was a 'p' element.

Reported by Andrew Stacey.
---
 public/javascripts/page_helper.js | 19 +++++++++++++------
 1 file changed, 13 insertions(+), 6 deletions(-)

diff --git a/public/javascripts/page_helper.js b/public/javascripts/page_helper.js
index f4876015..eb510045 100644
--- a/public/javascripts/page_helper.js
+++ b/public/javascripts/page_helper.js
@@ -23,15 +23,22 @@ function fixRunIn() {
 // work around lack of gecko support for display:run-in
   var re = /^num_|\s+num_|^un_|\s+un_|proof/;
   $$('div > h6').each(function(element) {
-     if(re.test($(element.parentNode).className)) {
+    next_p = element.next('p');
+    if(re.test($(element.parentNode).className)) {
       var new_span = new Element('span').update(element.textContent);
       new_span.addClassName('theorem_label');
-      var next_el = element.next().firstChild;
-      next_el.parentNode.insertBefore(new_span, next_el);
       var period = new Element('span').update('. ');
-      next_el.parentNode.insertBefore(period, next_el);
-      element.remove();
-     }
+      if (next_p) {
+        var next_el = next_p.firstChild;
+        next_p.insertBefore(new_span, next_el);
+        next_p.insertBefore(period, next_el);
+        element.remove();
+      } else {
+        var p = new Element('p').update(new_span);
+        p.appendChild(period);       
+        element.replace(p);
+      }
+    } 
   });
 // add tombstone to proof, since gecko doesn't support :last-child properly
  $$('div.proof').each(function(element) {