# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1261751061 18000
# Node ID 6e5463a53c3c25b82e1f30f3e8f9147c3d47f020
# Parent  e7707995330858ad49fde4dbccee2fb77ba3b635
Alter JavaScript lastParent() to play nice with Firebug

diff -r e77079953308 -r 6e5463a53c3c lib/js/urweb.js
--- a/lib/js/urweb.js	Thu Dec 24 16:35:09 2009 -0500
+++ b/lib/js/urweb.js	Fri Dec 25 09:24:21 2009 -0500
@@ -298,7 +298,7 @@
 }
 
 function lastParent() {
-  var pos = document;
+  var pos = document.body;
 
   while (pos.lastChild && pos.lastChild.nodeType == 1)
     pos = pos.lastChild;