From 9ecb9ab2d9dea9b803e8f57ff98d65b4c5add9e8 Mon Sep 17 00:00:00 2001
From: Pietro Incardona <i-bird@localhost.localdomain>
Date: Tue, 26 Jul 2016 16:11:33 +0200
Subject: [PATCH] staging file2

---
 header.html | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)

diff --git a/header.html b/header.html
index de3204dd..3332f72b 100644
--- a/header.html
+++ b/header.html
@@ -10,6 +10,31 @@
 <link href="$relpath^tabs.css" rel="stylesheet" type="text/css"/>
 <script type="text/javascript" src="$relpath^jquery.js"></script>
 <script type="text/javascript" src="$relpath^dynsections.js"></script>
+<script>
+var first_time_pause={};
+
+function hide_show(div_ele)
+{
+	if (document.getElementById(div_ele).style.display == 'none') 
+	{document.getElementById(div_ele).style.display = 'block'} 
+	else 
+	{document.getElementById(div_ele).style.display = 'none'}
+}
+
+function video_anim(video_ele, from, to)
+{
+	first_time_pause[video_ele] = false;
+	document.getElementById(video_ele).addEventListener('loadedmetadata', function() {
+											this.currentTime = from;}
+											, false);
+	document.getElementById(video_ele).addEventListener("timeupdate", function(){
+    		if(this.currentTime >= to && first_time_pause[video_ele]==false) {
+        		first_time_pause[video_ele]=true;
+        		this.pause();
+    		}
+	});
+}
+</script>
 $treeview
 $search
 $mathjax
-- 
GitLab