3 div.ricoMenu, div.ricoMenuSafari {
\r
6 border:1px solid #666;
\r
12 div.ricoMenu, div.ricoMenu div.ricoMenuHeading, div.ricoMenu a {
\r
13 background-color:menu;
\r
15 text-decoration: none;
\r
16 font-family:tahoma,arial,helvetica,sans-serif;
\r
21 div.ricoMenuSafari, div.ricoMenuSafari div.ricoMenuHeading, div.ricoMenuSafari a {
\r
22 background-color:#EDEDED;
\r
23 text-decoration: none;
\r
24 font-family:tahoma,arial,helvetica,sans-serif;
\r
29 div.ricoMenu div.ricoMenuHeading{
\r
34 div.ricoMenuSafari div.ricoMenuHeading{
\r
41 div.ricoMenu .enabled {
\r
45 div.ricoMenuSafari .enabled {
\r
49 div.ricoMenu .enabled, div.ricoMenu .enabled-hover, div.ricoMenuSafari .enabled, div.ricoMenuSafari .enabled-hover, div.ricoMenu .disabled, div.ricoMenuSafari .disabled {
\r
52 padding-bottom:0.1em;
\r
56 div.ricoMenu .disabled, div.ricoMenuSafari .disabled {
\r
65 background-color: menu;
\r
68 div.ricoMenu .enabled-hover, div.ricoMenu .ricoSubMenuOpen {
\r
69 background-color: Highlight;
\r
70 color: HighlightText;
\r
73 div.ricoMenuSafari .enabled-hover, div.ricoMenuSafari .ricoSubMenuOpen {
\r
74 background-color: #1657B8;
\r
78 div.ricoMenu .ricoSubMenu, div.ricoMenu .ricoSubMenuOpen, div.ricoMenuSafari .ricoSubMenu, div.ricoMenuSafari .ricoSubMenuOpen {
\r
86 div.ricoMenu div.ricoMenuBreak, div.ricoMenuSafari div.ricoMenuBreak {
\r
90 background-color: #AAA;
\r