10 background-color: #f0efde;
24 div.layout-actionbar ~ #content {
29 background-color: #d0cfc9
32 #main_menu_div ~ div.layout-actionbar {
36 #main_menu_div ~ #content {
39 #main_menu_div ~ div.layout-actionbar ~ #content {
46 background-color: #d0cfc9;
47 border-color:#ccc #888 #555 #bbb;
51 #menuv3 ~ div.layout-actionbar {
57 #menuv3 ~ div.layout-actionbar ~ #content {
61 #menuv3 a, #menuv3 h2, #menuv3 div.x {
68 border-color:#ccc #888 #555 #bbb;
71 padding:1px 0 1px 3px;
79 #menuv3 a, #menuv3 a:visited, #menuv3 div.x, #menuv3 div.x:visited {
88 #menuv3 div.x, #menuv3 div.x:visited {
89 background:#eee url(../../image/right.gif) no-repeat right;
92 #menuv3 a:hover, #menuv3 div.x:hover {
94 background-color:#ddd;*/
95 background-color: #c6c39b;
98 #menuv3 a:active, #menuv3 div.x:active {
100 background-color:#c6c39b;
114 border-width:0 0 1px 0;
117 /* IE6 spacing bug fix, <li>s without a bottom border get spaced to far
118 * correction: the bug will change the height of the parent element! this will also cause the whole menu to grow
119 * so the only method to get this pile of crap going is to add a bottom border to the <li>s, where the enclosing <ul> already has
120 * a bottom border, which just looks ugly
121 * the trick: color the bottom border with the same color as the bottom pixel of the background image - noone notices */
124 border-color:#ccd5e5;
125 border-width:0 0 1px 0;
130 border-width:0 0 1px 0;
133 /* IE6 event bug fix, without a background there hovers will be occassionally lost between the li's to the layer below
134 * causing the menu to close. Opera 9 has the same bug btw. */
146 /* Begin non-anchor hover selectors */
148 /* Enter the more specific element (div) selector
149 on non-anchor hovers for IE5.x to comply with the
150 older version of csshover.htc - V1.21.041022. It
151 improves IE's performance speed to use the older
152 file and this method */
154 div#menuv3 h2:hover {
159 div#menuv3 li:hover {
163 div#menuv3 li:hover ul ul,
164 div#menuv3 li li:hover ul ul,
165 div#menuv3 li li li:hover ul ul,
166 div#menuv3 li li li li:hover ul ul
169 div#menuv3 li:hover ul,
170 div#menuv3 li li:hover ul,
171 div#menuv3 li li li:hover ul,
172 div#menuv3 li li li li:hover ul
175 /* End of non-anchor hover selectors */
178 /* types of lines: m sm i (menu submenu item)
179 each line is a mi (menuitem) and has one mii (menu-item-icon) whcih is ms (menu-spacer)
180 and one mic (menu-item-chunk)
181 indenting is done with the levels s0, s1, s2 */
187 transition: margin-left 0.2s, width 0.2s;
188 -moz-transition: margin-left 0.2s, width 0.2s;
189 -webkit-transition: margin-left 0.2s, width 0.2s;
190 -o-transition: margin-left 0.2s, width 0.2s;
193 div.layout-split-right { margin-left: 190px; height: 100%; }
194 div.layout-split-right.folded { margin-left: 40px }
195 #html-menu.folded:hover + #content.layout-split-right.folded { margin-left: 190px }
196 #html-menu { float:left; width: 183px; font-size: 85%; margin-top: 10px; }
197 #html-menu.folded { width: 32px; }
198 #html-menu.folded:hover { width: 183px; }
199 #html-menu div.mi { margin-top: 4px; margin-bottom: 3px; white-space: nowrap; clear:both; position:relative; }
200 #html-menu div.sm { font-weight: bold }
201 #html-menu img { vertical-align: top; border: 0; }
202 #html-menu a { vertical-align: top }
203 #html-menu .i span.ms { float: left; width: 24px; margin-bottom: 4px; }
204 #html-menu .m span.ms { float: left; width: 32px }
205 #html-menu .sm span.ms { float: left; width: 24px; background: url(../../image/unterpunkt.png); }
206 #html-menu div.m { height: 24px }
207 #html-menu div.m span.mic { color:blue; position: relative; top: 4px }
208 #html-menu div.m:hover,
209 #html-menu div.i:hover { color:blue; background-color: lemonchiffon; cursor: pointer; }
210 #html-menu span.mic { white-space: normal; display: inline-block; vertical-align: top; line-height: 1.2; }
211 #html-menu a.ml span.mic { width: 145px } /* fix deep indents */
212 #html-menu div.s0 { padding-left: 2px }
213 #html-menu div.s1 { padding-left: 8px }
214 #html-menu div.s2 { padding-left: 16px }
220 #menuv3, #html-menu, #frame-header, #main_menu_div, #js-header { /* items with this class won't print */
223 #content.html-menu { margin-left: 0; }