Index: context_menu.js
===================================================================
--- context_menu.js	(revision 3719)
+++ context_menu.js	(working copy)
@@ -95,10 +95,12 @@
   
   createMenu: function() {
     if (!$('context-menu')) {
-      var menu = document.createElement("div");
-      menu.setAttribute("id", "context-menu");
-      menu.setAttribute("style", "display:none;");
-      document.getElementById("content").appendChild(menu);
+      var menu = new Element('div');
+      menu.writeAttribute('id', 'context-menu');
+      menu.setStyle({
+		'display':'none'
+	  });
+      $('content').insert(menu);
     }
   },