Tidy up the code.

www/functions.js

@@ -1,16 +1,16 @@
-function MM_jumpMenu(targ,selObj,restore) {
-    eval(targ+".location='"+selObj.options[selObj.selectedIndex].value+"'");
-    if (restore) selObj.selectedIndex=0;
+function MM_jumpMenu(targ, selObj, restore) {
+  eval(targ + ".location='" + selObj.options[selObj.selectedIndex].value + "'");
+  if (restore) selObj.selectedIndex = 0;
 }
 
 function createOption(select, name, value) {
-    var sObj = document.createElement("option");
-    sObj.text = name;
-    sObj.value = value;
+  var sObj = document.createElement("option");
+  sObj.text = name;
+  sObj.value = value;
 
-    select.options.add(sObj);
+  select.options.add(sObj);
 }
 
 function deleteOptions(select) {
-    select.options.length = 0;
+  select.options.length = 0;
 }