From cbd910fb1b371e5547e21699e3b49f6e3849d414 Mon Sep 17 00:00:00 2001
From: Max Lehmann <maxlehmann@xpub.nl>
Date: Thu, 11 Jun 2020 11:03:26 +0200
Subject: [PATCH] Update '12/index.html'

---
 12/index.html | 56 +--------------------------------------------------
 1 file changed, 1 insertion(+), 55 deletions(-)
diff --git a/12/index.html b/12/index.html
index 609c1ba..714d732 100644
--- a/12/index.html
+++ b/12/index.html
@@ -8,7 +8,6 @@
   <link rel="stylesheet" type="text/css" href="style.css">
   <link rel="stylesheet" href=
   "https://fonts.googleapis.com/css?family=Roboto Mono">
-  <!--script src="dragable.js"></script--> 
 
 </head>
 <body>
@@ -266,6 +265,7 @@
   </div><!--  <div class="contributors"> -->
   <script src="player2.js"></script> 
   <script src="liveplayer.js"></script> 
+  <script src="dragable.js"></script> 
   <script>
 
 			player(document.querySelector("#week_04"), document.querySelector("#iframe_04"));    
@@ -299,60 +299,6 @@
             document.querySelector(".audio_05 #resources_icon").addEventListener("click",function(){
               document.querySelector("#implicancies_05 #resources_05").classList.toggle("hidden");
             });
-    
-    
-    
-    
-    
-    
-    
-    dragElement(document.getElementById("shell_03header"));
-
-function dragElement(elmnt) {
-  var pos1 = 0, pos2 = 0, pos3 = 0, pos4 = 0;
-  if (document.getElementById(elmnt.id + "header")) {
-    // if present, the header is where you move the DIV from:
-    document.getElementById(elmnt.id + "header").onmousedown = dragMouseDown;
-  } else {
-    // otherwise, move the DIV from anywhere inside the DIV:
-    elmnt.onmousedown = dragMouseDown;
-  }
-
-  function dragMouseDown(e) {
-    e = e || window.event;
-    e.preventDefault();
-    // get the mouse cursor position at startup:
-    pos3 = e.clientX;
-    pos4 = e.clientY;
-    document.onmouseup = closeDragElement;
-    // call a function whenever the cursor moves:
-    document.onmousemove = elementDrag;
-  }
-
-  function elementDrag(e) {
-    e = e || window.event;
-    e.preventDefault();
-    // calculate the new cursor position:
-    pos1 = pos3 - e.clientX;
-    pos2 = pos4 - e.clientY;
-    pos3 = e.clientX;
-    pos4 = e.clientY;
-    // set the element's new position:
-    elmnt.style.top = (elmnt.offsetTop - pos2) + "px";
-    elmnt.style.left = (elmnt.offsetLeft - pos1) + "px";
-  }
-
-  function closeDragElement() {
-    // stop moving when mouse button is released:
-    document.onmouseup = null;
-    document.onmousemove = null;
-  }
-}
-
-    
-    
-    
-      
             
             
   </script>
