/* $Author: ot $. $Revision: 1.14 $ */ /* BASE */ html { background-color: white; } body { margin: auto auto; padding-left: 6%; padding-right: 6%; background-color: white; color: #11111A; font-family: Helvetica, "Trebuchet MS", Arial, sans-serif; } /* Main blocks - see also #menu styled in navbar.css */ #banner { background-color: white; background-image: url(clouds00.jpg); background-repeat: no-repeat; background-attachment: scroll; background-position: top right; padding: 0; height: 50px; margin-bottom: 0; /* margin-top: 20px; margin-left: 42px; */ border: 0; } #banner h1 { height: 50px; vertical-align: middle; font-size: 1.5em; display: inline; } #main { border-bottom: 0; border-top: 0; border-left: 1px solid #dfebf7; border-right: 1px solid #dfebf7; padding-left: 1em; padding-right: 1em; } #main, address { background-color: white; margin: 0; /*margin-left: 42px; */ padding: 15px; /* padding-left: 0; padding-right: 0; */ /* border: 1px solid #E8E8FA; */ } address { background-color: #eee; background-image: url(footer00.jpg); background-repeat: no-repeat; background-attachment: scroll; background-position: right; height:45px; padding-top: 10px; padding-bottom: 0; padding-left: 15px; clear: right; border: 1px solid #dfebf7; margin-bottom: 2em; } /* Headers */ h1 { color: #053188; font-family: "Bitstream Vera Sans", Helvetica, Arial, sans-serif; font-size-adjust: .53; font-weight: bold; font-style: normal; text-decoration: none; } h2 { color: #777742; background: white; padding: 0; margin-top: 20px; margin-bottom: 20px; font-size: 1.3em; text-decoration: none; font-family: Georgia, Didot, serif; } h3 { /* color: #C65831; */ color: #fff; background-color: #aaaa77; font-size: 1.1em; padding: 2px 15px; border-top: 1px dotted #777742; border-bottom: 1px dotted #777742; text-decoration: none; font-family: Georgia, Didot, serif; } h4 { color: #777742; font-weight: 600; font-style: italic; text-decoration: none; font-size: 1.0em; font-family: Georgia, Didot, serif; } h5,h6 { color: #777742; background-color: white; font-family: Georgia, Didot, serif; } img { border: 0} img {vertical-align: middle} a img { border: none } #menu { background-color: #005A9C; margin: 0; padding: 0; /*margin-left: 42px;*/ padding-top:3px; padding-bottom: 3px; line-height: 140%; vertical-align: bottom; font-size: 0.9em; list-style-type: none; } #menu { padding-left: 1em; padding-right: 1em} #menu li { display: inline; color: #ccf; } #menu li a { padding-right: 1.2em; padding-left: 1.2em; color: white; } .hideme { display: none} a:link, a:visited { color: #005A9C; text-decoration: none; } a:hover, a:active { color: #005A9C; text-decoration: underline; } /* this, for the tables version */ table.globalsearch, table.search { /* background-color: #dfebf7; */ color: black; border: 1px dotted #aaaa77; margin: 0; margin-left: 0; padding: 3em; padding-top: .5em; border-collapse: collapse; border-spacing: 1em } tr.search { margin; 1em; } td.search { margin:0; padding:0; padding: .3em; } tr.searchgo { border-top: solid; border-style: dotted; border-width: 1px; border-color: #aaaa77; padding: 1em; } td.searchgo {text-align: right;} a.search:link { background: #efe8c9; color: #053188; text-decoration: underline; font-size: small} a.search:visited { background: #efe8c9; color: #053188; text-decoration: underline; font-size: small} a.search:active { background: #fff659; color: #001ece; text-decoration: underline; font-size: small} a.search:hover { background: #fff659; color: #001ece; text-decoration: underline; font-size: small} /* this, for the no_tables version */ div.left {background: #5577bb; color: white; border: 0; margin:0.5em; padding: 2px; float: left; } div.right {background: #5577bb; color: white; border: 0; margin:0.5em; padding: 2px; } div.search {background: #5577bb; color: white; border: 2px solid #fff659; margin:1em; padding: 0;} /* interface for the switching from simple to advanced UI */ div#searchblock ul {display: inline; margin: 0; margin-left: 0; padding: 0;} div#searchblock ul li {display: inline; background: white; padding: 0 .5em; margin:0; color: black; border-style: dotted; border-width: 1px; border-color: #aaaa77; border-bottom-width: 0;} div#searchblock ul li.select {background: #aaaa77; color: white; font-weight: bold; border-color: #aaaa77;} div#searchblock ul li.left {border-right-width:0;} div#searchblock ul li.right {border-right-width:1px;} /* help page */ div.toc { border: 1px dotted #aaaa77; } li.toc {margin:0; padding:0} ul.toc {margin:0; padding:0;} code { background: white; color: purple; font-weight: bold } /* results */ div.result { border: 1px dotted #aaaa77; margin: 1px; margin-bottom: .8em; } p.details {font-size: smaller; margin: .8em;} p.overview { background: white; color: gray; margin: .8em 1.6em;} p.overview strong {font-weight: normal } /* hack to bypass namazu's stupid usage of strong for first word */ div.warning { border: 1px solid navy; margin: 1px; margin-bottom: 5px; color: black; background: #fff659; text-align: center; }