alternate stylesheet for jtageditor

diff --git a/tools/jtageditor.pl b/tools/jtageditor.pl
index 1111a723ded3b8cb8d514164cf7f0837284a5a3f..f7c574d417ce9ffb9e6f80699497d96eb2a0a0df 100755 (executable)
--- a/tools/jtageditor.pl
+++ b/tools/jtageditor.pl
@@ -738,14 +738,14 @@ getdata('$me?print=fileSelection&configFile='+file_,'fileSelection',false);
 
 function toggleVis(elementId,t) {
 if(document.getElementById(elementId)){
-if( document.getElementById(elementId).style.maxHeight == "600px") {
-  //document.getElementById(elementId).style.visibility = "collapse";
-  document.getElementById(elementId).style.maxHeight = "1px";
+if( document.getElementById(elementId).style.visibility == "visible") {
+  document.getElementById(elementId).style.visibility = "collapse";
+  document.getElementById(elementId).style.height = "0px";
   visHash[elementId]=false;
   t.innerHTML = " + ";
 } else {
   document.getElementById(elementId).style.visibility = "visible" ;
-  document.getElementById(elementId).style.maxHeight = "600px";
+  document.getElementById(elementId).style.height = "auto";
   visHash[elementId]=true;
   t.innerHTML = " − ";
 }
@@ -754,14 +754,14 @@ if( document.getElementById(elementId).style.maxHeight == "600px") {
 function showElement(elementId) {
   if(document.getElementById(elementId)){
   document.getElementById(elementId).style.visibility = "visible" ;
-  document.getElementById(elementId).style.maxHeight = "600px";
+  document.getElementById(elementId).style.height = "auto";
   visHash[elementId]=true;
   }
 }
 function hideElement(elementId) {
   if(document.getElementById(elementId)){
-  //document.getElementById(elementId).style.visibility = "hidden" ;
-  document.getElementById(elementId).style.maxHeight = "1px";
+  document.getElementById(elementId).style.visibility = "hidden" ;
+  document.getElementById(elementId).style.height = "0px";
   visHash[elementId]=false;
   }
 }