div        {font-size:22;margin:0px;color:#3610e1;font-family:"Tahoma"}

  a.nodec    {text-decoration:none}

  a:hover    {text-decoration:underline}

  a.nodec1    {text-decoration:none;color:blue}

  a.nodec1:hover   {text-decoration:underline;color:red}

  a.nodec2    {text-decoration:underline;color:blue}

  a.nodec2:hover   {text-decoration:none;color:red}

  table.menu {position: absolute;
	      visibility: hidden;
	      z-index: 10;
	      background-color:navy;}