diff --git a/css/main2.css b/css/main2.css index df21cc80b..d2af9c505 100644 --- a/css/main2.css +++ b/css/main2.css @@ -121,7 +121,7 @@ table.imgtable td { vertical-align: middle; text-align: center; padding: 10px; } /*Menu*/ .menu, -ul#links { +ul#menulinks { background: #fff url(/images/style/menu-main.png) no-repeat 16px 4px; clear: both; border: 2px solid #99CCCC; @@ -137,26 +137,26 @@ ul#links { } *html .menu {width: 180px; left: 10px;} *+html .menu {width: 180px; left: 10px;} - *html ul#links {width: 180px; left: 10px;} - *+html ul#links {width: 180px; left: 10px;} + *html ul#menulinks {width: 180px; left: 10px;} + *+html ul#menulinks {width: 180px; left: 10px;} .menu { top: 20px; } - ul#links { + ul#menulinks { /*background-image: url(/images/style/menu-second.png); border-color: #C8E1E2; border-style: dotted;*/ top: 15px /*300px; to be set once the menu is in all pages*/ } @media only screen and (min-width: 751px) { -ul#links ~ ul#links { +ul#menulinks ~ ul#menulinks { top:500px; /*funky fix for a funky HTML*/ } } /*Fix for modern displays 2020.01 by AZ*/ @media only screen and (max-width: 750px) { - ul#links { + ul#menulinks { width: 93%; left: 2px; font-size: 100%; @@ -164,14 +164,14 @@ ul#links ~ ul#links { padding-top:42px; position: relative; /*this puts the menu back where the HTML places it --at the bottom. This is necessary to avoid two elements with same ID overlapping*/ } - ul#links li { + ul#menulinks li { width: 95%; display:block; } } /*end of 2020.01 fix*/ -ul#links a { +ul#menulinks a { text-decoration: none; } p#topheader { @@ -183,35 +183,35 @@ p#topheader { padding: 0; } .menu li, -ul#links li { +ul#menulinks li { margin: 6px 0; list-style: none outside none; } - ul#links li { + ul#menulinks li { margin: 5px 0 0 0; } - ul#links li ul { + ul#menulinks li ul { padding: 5px 0 5px 10px; } - ul#links li li { + ul#menulinks li li { margin: 0 0 0 5px; } .menu li a, -ul#links li a { +ul#menulinks li a { background: url(/images/style/cave-picto.png) no-repeat 0 8px; padding-left: 18px; } .menu li a:hover, -ul#links li a:hover { +ul#menulinks li a:hover { background-position: 0 -8px; border-bottom: 2px solid #d7442b; } -ul#links li a.editlink { +ul#menulinks li a.editlink { background: url(/images/style/edit-picto.png) no-repeat 100% 0; font-size: 85%; padding: 0 18px; } - ul#links li a.editlink:hover { + ul#menulinks li a.editlink:hover { background-position: 100% -18px; } .menu li, @@ -480,7 +480,7 @@ var { # to match but inline when documenting systems @media only screen and (max-width: 600px), screen and (max-aspect-ratio: 5/4) { - ul#links { + ul#menulinks { position: static; } body { @@ -495,7 +495,7 @@ var { # to match but inline when documenting systems @media only print, print) { - ul#links { + ul#menulinks { position: static; } body {