Index: www/js/menu.js
===================================================================
--- www/js/menu.js	(revision 843c58d4aac937f49b9312f045b6540f2c3734f9)
+++ www/js/menu.js	(revision 843c58d4aac937f49b9312f045b6540f2c3734f9)
@@ -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;
+}