alternate stylesheet for jtageditor

diff --git a/tools/jtageditor.pl b/tools/jtageditor.pl
index f7c574d417ce9ffb9e6f80699497d96eb2a0a0df..08e83619efa252c32f45d21320891d343223b167 100755 (executable)
--- a/tools/jtageditor.pl
+++ b/tools/jtageditor.pl
@@ -767,8 +767,8 @@ function hideElement(elementId) {
 }
 function collapseElement(elementId) {
   if(document.getElementById(elementId)){
-  //document.getElementById(elementId).style.visibility = "collapse" ;
-  document.getElementById(elementId).style.maxHeight = "1px";
+  document.getElementById(elementId).style.visibility = "collapse" ;
+  document.getElementById(elementId).style.height = "0px";
   visHash[elementId]=false;
   }
 }