* Use jquery for the logfile manipulation.

src/HydraFrontend/root/static/css/logfile.css

@@ -69,11 +69,8 @@ em.storeref:hover span.popup {
 }
 
 
-.toggle {
+.logTreeToggle {
     text-decoration: none;
-}
-
-.showTree, .hideTree {
     font-family: monospace;
     font-size: larger;
 }
@@ -81,4 +78,4 @@ em.storeref:hover span.popup {
 .error {
     color: #ff0000;
     font-weight: bold;
-}
+}

src/HydraFrontend/root/static/js/treebits.js

@@ -1,50 +0,0 @@
-/* Acknowledgement: this is based on the Wikipedia table-of-contents
- * toggle. */
-
-
-var idCounter = 0;
-
-
-function showTreeToggle(isHidden) {
-    if (document.getElementById) {
-        var id = "toggle_" + idCounter;
-        document.writeln(
-            '<a href="javascript:toggleTree(\'' + id + '\')" class="toggle" id="' + id + '">' +
-            '<span class="showTree" ' + (isHidden ? '' : 'style="display: none;"') + '>+</span>' +
-            '<span class="hideTree" ' + (isHidden ? 'style="display: none;"' : '') + '>-</span>' +
-            '</a>');
-        idCounter = idCounter + 1;
-    }
-}
-
-
-function toggleTree(id) {
-
-    var href = document.getElementById(id);
-
-    var node = href;
-    var tree = null;
-    while (node != null) {
-        if (node.className == "nesting") tree = node;
-        node = node.nextSibling;
-    }
-
-    node = href.firstChild;
-    var hideTree = null;
-    var showTree = null;
-    while (node != null) {
-        if (node.className == "showTree") showTree = node;
-        else if (node.className == "hideTree") hideTree = node;
-        node = node.nextSibling;
-    }
-    
-    if (tree.style.display == 'none') {
-        tree.style.display = '';
-        hideTree.style.display = '';
-        showTree.style.display = 'none';
-    } else {
-        tree.style.display = 'none';
-        hideTree.style.display = 'none';
-        showTree.style.display = '';
-    }
-}