// JavaScript Document
<!--
var menu_over_color = '#cbdfff';
-->