3 div.ricoMenu, div.ricoMenuSafari {
12 div.ricoMenu, div.ricoMenu div.ricoMenuHeading, div.ricoMenu a {
13 background-color:menu;
15 text-decoration: none;
16 font-family:tahoma,arial,helvetica,sans-serif;
21 div.ricoMenuSafari, div.ricoMenuSafari div.ricoMenuHeading, div.ricoMenuSafari a {
22 background-color:#EDEDED;
23 text-decoration: none;
24 font-family:tahoma,arial,helvetica,sans-serif;
29 div.ricoMenu div.ricoMenuHeading{
34 div.ricoMenuSafari div.ricoMenuHeading{
41 div.ricoMenu .enabled {
45 div.ricoMenuSafari .enabled {
49 div.ricoMenu .enabled, div.ricoMenu .enabled-hover, div.ricoMenuSafari .enabled, div.ricoMenuSafari .enabled-hover, div.ricoMenu .disabled, div.ricoMenuSafari .disabled {
56 div.ricoMenu .disabled, div.ricoMenuSafari .disabled {
65 background-color: menu;
68 div.ricoMenu .enabled-hover, div.ricoMenu .ricoSubMenuOpen {
69 background-color: Highlight;
73 div.ricoMenuSafari .enabled-hover, div.ricoMenuSafari .ricoSubMenuOpen {
74 background-color: #1657B8;
78 div.ricoMenu .ricoSubMenu, div.ricoMenu .ricoSubMenuOpen, div.ricoMenuSafari .ricoSubMenu, div.ricoMenuSafari .ricoSubMenuOpen {
86 div.ricoMenu div.ricoMenuBreak, div.ricoMenuSafari div.ricoMenuBreak {
90 background-color: #AAA;