moving the onelab www to a fresh location

[plewww.git] / planetlab / includes / plc_script.js

diff --git a/planetlab/includes/plc_script.js b/planetlab/includes/plc_script.js
index 2c1e05d..d96af22 100644 (file)
--- a/planetlab/includes/plc_script.js
+++ b/planetlab/includes/plc_script.js
@@ -1,35 +1,37 @@
 
 function addLoadEvent(func) {
-  if (!document.getElementById | !document.getElementsByTagName) return
-       var oldonload=window.onload
-       if (typeof window.onload != 'function') { window.onload=func }
-       else {
-               window.onload=function() { oldonload(); func() }
-       }
+  if (!document.getElementById | !document.getElementsByTagName) return;
+  var oldonload=window.onload
+    if (typeof window.onload != 'function') { 
+      window.onload=func 
+    } else {
+      window.onload=function() { oldonload(); func() }
+    }
 }
 
 // ----------------------------------------------------------------------------- //
 
-function show(id){
-       if (!document.getElementsByTagName) return
-       if (document.getElementById(id).style.display=='block'){
-               document.getElementById(id).style.display='none'
-       }
-       else{
-               document.getElementById(id).style.display='block'
-       }
-       //  focus is moved by the href of the link to the start of the help
+function show (id) {
+  if (!document.getElementsByTagName) return;
+  if (document.getElementById(id).style.display=='block') {
+    document.getElementById(id).style.display='none';
+  } else{
+    document.getElementById(id).style.display='block';
+  }
+  //  focus is moved by the href of the link to the start of the help
 }
 
-
-function hide(id){
-       if (document.getElementById) {document.getElementById(id).style.display='none'}
+function hide(id) {
+  if (document.getElementById) {
+    document.getElementById(id).style.display='none';
+  }
 }
 
 function copyValue (id1,id2) {
-  if (document.getElementById) {document.getElementById(id2).value=document.getElementById(id1).value}
+  if (document.getElementById) {
+    document.getElementById(id2).value=document.getElementById(id1).value;
+  }
 }
 
-
 // ----------------------------------------------------------------------------- //