3 background-image: url("../../image/fade.png");background-repeat:repeat-x;
4 font-family: Verdana, Arial, Helvetica, sans-serif;
12 background-image: url("../../image/bg_titel.gif");
19 font-family: Verdana, Arial, sans-serif;
29 behavior:url("csshover.htc");
35 background:url(../../image/bg_css_menu.png) repeat bottom;
37 border-color:#ccc #888 #555 #bbb;
40 #menuv3 a, #menuv3 h2, #menuv3 div.x {
41 font:11px/16px arial,helvetica,sans-serif;
46 border-color:#ccc #888 #555 #bbb;
49 padding:1px 0 1px 3px;
57 #menuv3 a, #menuv3 a:visited, #menuv3 div.x, #menuv3 div.x:visited {
67 #menuv3 div.x, #menuv3 div.x:visited {
68 background:#eee url(../../image/right.gif) no-repeat right;
71 #menuv3 a:hover, #menuv3 div.x:hover {
73 background-color:#ddd;
76 #menuv3 a:active, #menuv3 div.x:active {
78 background-color:#ccc;
95 /* IE6 spacing bug fix, <li>s without a bottom border get spaced to far
96 * correction: the bug will change the height of the parent element! this will also cause the whole menu to grow
97 * 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
98 * a bottom border, which just looks ugly
99 * the trick: color the bottom border with the same color as the bottom pixel of the background image - noone notices */
102 border-color:#ccd5e5;
103 border-width:0 0 1px 0;
108 border-width:0 0 1px 0;
111 /* IE6 event bug fix, without a background there hovers will be occassionally lost between the li's to the layer below
112 * causing the menu to close. Opera 9 has the same bug btw. */
125 /* Begin non-anchor hover selectors */
127 /* Enter the more specific element (div) selector
128 on non-anchor hovers for IE5.x to comply with the
129 older version of csshover.htc - V1.21.041022. It
130 improves IE's performance speed to use the older
131 file and this method */
133 div#menuv3 h2:hover {
138 div#menuv3 li:hover {
143 div#menuv3 li:hover ul ul,
144 div#menuv3 li li:hover ul ul,
145 div#menuv3 li li li:hover ul ul,
146 div#menuv3 li li li li:hover ul ul
149 div#menuv3 li:hover ul,
150 div#menuv3 li li:hover ul,
151 div#menuv3 li li li:hover ul,
152 div#menuv3 li li li li:hover ul
155 /* End of non-anchor hover selectors */
160 background:url(../../image/bg_css_menu.png) repeat bottom;
162 border-color:#ccc #888 #555 #bbb;
165 #menuv4 a, #menuv4 h2, #menuv4 div.x {
166 font:11px/16px arial,helvetica,sans-serif;
171 border-color:#ccc #888 #555 #bbb;
174 padding:1px 0 1px 3px;
182 #menuv4 a, #menuv4 a:visited, #menuv4 div.x, #menuv4 div.x:visited {
184 text-decoration:none;
191 #menuv4 div.x, #menuv4 div.x:visited {
192 background:#eee url(../../image/right.gif) no-repeat right;
195 #menuv4 a:hover, #menuv4 div.x:hover {
197 background-color:#ddd;
200 #menuv4 a:active, #menuv4 div.x:active {
202 background-color:#ccc;
218 /* IE6 spacing bug fix, <li>s without a bottom border get spaced to far
219 * correction: the bug will change the height of the parent element! this will also cause the whole menu to grow
220 * 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
221 * a bottom border, which just looks ugly
222 * the trick: color the bottom border with the same color as the bottom pixel of the background image - noone notices */
225 border-color:#ccd5e5;
226 border-width:0 0 1px 0;
231 border-width:0 0 1px 0;
234 /* IE6 event bug fix, without a background there hovers will be occassionally lost between the li's to the layer below
235 * causing the menu to close. Opera 9 has the same bug btw. */
248 /* Begin non-anchor hover selectors */
250 /* Enter the more specific element (div) selector
251 on non-anchor hovers for IE5.x to comply with the
252 older version of csshover.htc - V1.21.041022. It
253 improves IE's performance speed to use the older
254 file and this method */
256 div#menuv4 h2:hover {
261 div#menuv4 li:hover {
266 div#menuv4 li:hover ul ul,
267 div#menuv4 li li:hover ul ul,
268 div#menuv4 li li li:hover ul ul,
269 div#menuv4 li li li li:hover ul ul
272 div#menuv4 li:hover ul,
273 div#menuv4 li li:hover ul,
274 div#menuv4 li li li:hover ul,
275 div#menuv4 li li li li:hover ul
278 /* End of non-anchor hover selectors */
281 /* types of lines: m sm i (menu submenu item)
282 each line is a mi (menuitem) and has one mii (menu-item-icon) whcih is ms (menu-spacer)
283 and one mic (menu-item-chunk)
284 indenting is done with the levels s0, s1, s2 */
285 #content.html-menu, #html-menu {
286 transition: margin-left 0.2s, width 0.2s;
287 -moz-transition: margin-left 0.2s, width 0.2s;
288 -webkit-transition: margin-left 0.2s, width 0.2s;
289 -o-transition: margin-left 0.2s, width 0.2s;
291 #content.html-menu { margin-left: 190px; }
292 #content.html-menu.folded { margin-left: 40px }
293 #html-menu.folded:hover + #content.html-menu.folded { margin-left: 190px }
294 #html-menu { float:left; width: 183px; font-size: 8pt; margin-top: 10px; overflow:hidden; }
295 #html-menu.folded { width: 32px; }
296 #html-menu.folded:hover { width: 183px; }
297 #html-menu div.mi { margin-top: 4px; margin-bottom: 3px; white-space: nowrap; clear:both; position:relative; }
298 #html-menu div.sm { font-weight: bold }
299 #html-menu img { vertical-align: top; border: 0; }
300 #html-menu a { vertical-align: top }
301 #html-menu .i span.ms { float: left; width: 24px; margin-bottom: 4px; }
302 #html-menu .m span.ms { float: left; width: 32px }
303 #html-menu .sm span.ms { float: left; width: 24px; background: url(../../image/unterpunkt.png); }
304 #html-menu div.m { height: 24px }
305 #html-menu div.m span.mic { color:blue; position: relative; top: 4px }
306 #html-menu div.m:hover,
307 #html-menu div.i:hover { color:blue; background-color: lemonchiffon; cursor: pointer; }
308 #html-menu span.mic { white-space: normal; display: inline-block; vertical-align: top; line-height: 1.2; }
309 #html-menu a.ml span.mic { width: 145px } /* fix deep indents */
310 #html-menu div.s0 { padding-left: 2px }
311 #html-menu div.s1 { padding-left: 8px }
312 #html-menu div.s2 { padding-left: 16px }
318 #menuv3, #menuv4, #html-menu, #frame-header, #js-menu { /* items with this class won't print */
321 #content.html-menu { margin-left: 0; }