/* --- geometry and timing of the menu --- */

var MENU_POS = {
 // item sizes for different levels of menu
 'width': [195, 195],
 'height': [16, 16],
 // menu block offset from the origin:
 // for root level origin is upper left corner of the page
 // for other levels origin is upper left corner of parent item
 
 'block_top': [28, 18],
 'block_left': [10, 0],
 // offsets between items of the same level
 'top': [0, 16],
 'left': [200, 0],
 // time in milliseconds before menu is hidden after cursor has gone out
 // of any items
 'hide_delay': [200, 200]
};
 
/* --- dynamic menu styles ---
note: you can add as many style properties as you wish but be not all browsers
are able to render them correctly. The only relatively safe properties are
'color' and 'background'.
*/
var MENU_STYLES = {
 // default item state when it is visible but doesn't have mouse over
 'onmouseout': [
  'color', ['#ffffff', '#ffffff'], 
  'background', ['#003882', '#003882'],
 ],
 // state when item has mouse over it
 'onmouseover': [
  'color', ['#E4EDFC', '#E4EDFC'], 
  'background', ['#000000', '#000000'],
//  'background', ['#003882', '#000000'],
 ],
 'onmousedown': [
  'color', ['#E4EDFC', '#E4EDFC'], 
  'background', ['#003882', '#000000'],
 ]
};