Index: _old/www/js/menu.js
===================================================================
--- _old/www/js/menu.js	(revision 57728c1d40118b66361f4d949f1ad6409070f9c6)
+++ _old/www/js/menu.js	(revision 57728c1d40118b66361f4d949f1ad6409070f9c6)
@@ -0,0 +1,13 @@
+function menu_select_element(el_menu, is_selected) {
+
+  if(is_selected) {
+    el_menu.style.background = '#00FF66';
+    el_menu.style.cursor = 'hand';  // for IE
+    el_menu.style.cursor = 'pointer';
+  }
+  else {
+    el_menu.style.background = '#CCFF99';
+    el_menu.style.cursor = 'default';
+  }
+  return true;
+}