BODY { background : none #ffffff } H1, H2, H3, H4 { font-family : Lucida, Verdana, Helvetica, Arial, sans-serif } H1 { color : #000000 ; text-align : center } H2 { color : #b00040 ; border-top : ridge thin ; padding-top : 2% ; margin-left : 2% ; margin-right : 2% } H3 { color : #8b008b ; /*margin-left : 0% ;*/ margin-left : 4%; margin-top : 4% } H4 { color : #8b6508 ; margin-left : 6% } P, UL, OL, DL { color : #000000 ; text-align : justify ; margin-left : 8% ; margin-right : 5% } LI { margin-left : 2% } IMG { border-style : none } IMG.flag { border : 1px solid black; } A:link { color : #0060a0 ; font-weight : bold ; text-decoration : none } A:visited { color : #6ca6cd ; font-weight : bold ; text-decoration : none } A:hover { color : #0060a0 ; font-weight : bold ; text-decoration : underline overline ; background : #eeeeee } A:active { color : #ff0000 } B, I, EM, TT, KBD { color : #008040 } .names { color : #000000 ; text-align : center ; font-size : large ; font-weight : bolder } .notes { color : #000000 ; text-align : justify ; border : solid thin ; padding : 2% ; margin : 5% ; background : #dddddd } .description { color : #000000 ; text-align : justify ; border : solid thin ; padding : 2% ; margin : 0% ; background : #dddddd } h3.centered { text-align: center; } div#index { border-bottom: 2px solid #aaaaaa; padding-bottom: 8px; } div#index ul { text-align: left; margin-left: 0; padding-left: 0; border-top: 2px solid #aaaaaa; padding-top: 8px; width: 100%; } div#index a { font-size: large; } div#index table { width: 100%; } div#index th { text-align: left; vertical-align: top; width: 20%; padding: 3px; } div#index td { text-align: left; vertical-align: bottom; width: 80%; font-style: italic; color: #008040; padding: 3px; } div#titlediv { text-align : center; } div#linkbar { text-align : center; } div#content { /* width : 100%;*/ border-top: 2px solid #dddddd; padding-left: 3px; padding-right: 3px; } div#content-top { width : 100%; margin-top: 3px; } div#content p { padding-top: 8px; text-align: left; margin : 0px; padding-bottom: 5px; } div#content p.pkgname { font-size : large; font-weight: bold; width : 20%; float: left; margin: 0px; text-align: left; } div#content p.pkgcaption { width: 80%; text-align: left; font-style : italic; font-weight : bold; color : #008040; float: right; margin-bottom: 5px; } div#pkgmain { width: 80%; float: right; padding-bottom: 8px; } div#content p.pkginfo { width: 96%; float: right; margin-bottom: 5px; padding-top: 2%; padding-bottom: 2%; } div#content pre { width: 96%; float: right; } div#content p.pkgdata { text-align : right; width : 80%; font-size : small; font-style : italic; color : #008040; float: right; } div#linklist { vertical-align: top; text-align: left; width : 19%; float: left; } table#main { width : 100%; } table#main th { text-align : left; vertical-align : top; } table#main td { padding : 3px; text-align : left; } table#main th.pkgname { width : 20%; font-size : large; } table#main td.pkginfo { color : #008040; width : 80%; } table#main td.pkgcaption { font-style : italic; font-weight : bold; } table#main td#pkgdata { font-size : small; text-align : right; vertical-align : bottom; width : 100%; font-size : small; font-style : italic; color : #008040; } div#copyright { text-align : center; font-size : small; } div#spacer { clear: both; } div#footer { clear: both; text-align : center; font-size : small; border-top: 2px solid #aaaaaa; border-bottom: 2px solid #aaaaaa; padding-top: 8px; padding-bottom: 8px; margin-top: 10px; } /* CSS for the link list at the bottom of a package page */ #linklist ul { margin: 0px; padding: 0px; list-style: none; display: block; white-space: nowrap; float: left; } /* Width settings needed for IE 7 */ #linklist ul#links { width: 99%; } #links li { clear: left; width: 100%; } #linklist a:hover { text-decoration:none; } #linklist li { float: left; text-align: left; } #linklist ul li { position: relative; } #links li.over { /* for IE to work correctly */ z-index: 6000; } #linklist li ul { position: absolute; left: 40px; top: 23px; display: none; white-space: nowrap; z-index: 6000; } #linklist ul li a { display: block; text-decoration: none; color: #0077cc; background: #fff; padding: 5px; white-space: normal; border-bottom: 0; font-size: 12px; } #linklist ul li ul { background: #fff; border-color: black; border-style: solid; border-width: thin; width: 450px; } /* Fix IE. Hide from IE Mac \*/ * html #linklist ul li { width: 95%; } * html #linklist ul li ul { width: 350px; /* Note: this must match the width in the next spec */ } /* End */ #linklist ul li ul li { background: #efffde; padding-left: 0px !important; margin-left: 0px; text-indent: 0px; white-space: normal !important; width: 450px; /* Note: this must match the width in the previous spec */ border-top: 1px dashed blue; } /* Hide from IE through use of > */ #linklist ul li ul > li { border-top: 1px dashed blue; } #linklist ul li ul li:first-child { border-top: 0; } #linklist ul li ul li:hover, #linklist ul li ul li.over { color: white; background: #0077cc; } #linklist ul li ul li:hover a, #linklist ul li ul li.over a { color: white; background: #0077cc; } #linklist ul li ul li a, #linklist ul li.over ul li a { color: #0077cc; background: #efffde; text-align: left; } #linklist ul li a img { border-style: none; margin-right: 2px; float: left; vertical-align: top; } /* hide from IE */ #linklist ul li a > img { /* vertical-align: -30%;*/ } #linklist ul li:hover, #linklist ul li.over, #linklist ul li a:hover { color: white; background: #0077cc; } /* Needed for IE 7 */ #linklist ul li ul li:hover a, #linklist ul li ul li.over a { color: white; background: #0077cc; } #linklist ul li.over a { color: white; background: #0077cc; } #linklist ul li:hover > a { color: white; background: #0077cc; } #linklist li:hover ul, #linklist li.over ul { display: block; z-index: 6000; }