web/index.html
changeset 38 c28831a74f93
parent 37 4239688886de
child 40 7cb7ed9fc83d
--- a/web/index.html	Fri Oct 25 16:27:22 2013 +0200
+++ b/web/index.html	Fri Oct 25 16:29:48 2013 +0200
@@ -376,7 +376,9 @@
     // on load
     $(function() {
       $(".videolink").click(function(e){
-        playVideo($(this).attr("data-videoid"), $(this).attr('data-segid'));
+          playVideo($(this).attr("data-videoid"), $(this).attr('data-segid'));
+          $("#titles").hide();
+          $("#userguide").hide();
       });
       $("#tabmat").click(function(e){
           if($("#titles").css("display")=="none"){