body {
padding: 10px 30px;
} ul#top-menu {
margin: 0; padding: 0; padding-left: 20px; border-bottom: 1px solid #000099;
} ul#top-menu li {
display: inline; padding: 0px;
} ul#top-menu li a, ul#top-menu li a:visited {
background-color: #cce6ff; padding: 0px 5px; border: 1px solid #000099; text-decoration: none; color: #000099; font-weight: bold;
} body#home ul#top-menu li.home a, body#document ul#top-menu li.document a, body#term ul#top-menu li.term a, body#term-vector ul#top-menu li.term-vector a, body#help ul#top-menu li.help a {
background-color: #f0f8ff; border-bottom: 1px solid #f0f8ff;
} div#content {
padding: 10px; margin: 0; background-color: #f0f8ff;
} div.display {background-color:#fff;padding:0 5px;} dl {
width: 51.1em; margin: 0; padding: 0;
} dl dt {
width: 15em; float: left; margin: 0; padding: .5em; border-top: 1px solid #999; font-weight: bold; color: #cc9900;
}
commented backslash hack for mac-ie5 \
dt { clear: both; }
end hack
dl dd {
float: left; width: 34em; margin: 0 0 0 0; padding: .5em; border-top: 1px solid #999;
} hr {clear:both;border:0;} h1, h2, h3, h4, h5, h6 {color:#cc0033;} th {
font-weight: bold; background-color: #cc9900; color: white; padding: 3px; font-size: 12px;
} th.small, td.small {font-size:11px;} th, td {
border-top: 1px solid #994400; border-left: 1px solid #994400;
} table {
border-bottom: 1px solid #994400; border-right: 1px solid #994400;
} table.left-headed th {width:80px;text-align:left;} table.left-headed td {background-color: white;text-align:right;width:120px;} td {padding:2px 6px;color:#555;} tr.even {background-color:#cce6ff;} tr.odd {background-color:white;} td.center {text-align:center} td.right {text-align:right}
label.check {width:150px;float:left;} pre {
border-left: solid 1px #cccccc; border-top: solid 1px #cccccc; border-bottom: solid 1px #cccccc; border-right: dashed 2px #cccccc; margin: 1em; padding: 0.7em; display: block; overflow: hidden; color: white; background-color: black;
} pre:hover {
overflow: visible; border-right: solid 1px #cccccc; width: 1000px;
} div.nav {color:#007777;font-size:11px;} div.nav a, div.nav a:visited {
background-color: white; color: #007777; padding: 2px 4px; border: 1px solid #bbd8ef; margin-right: 1px; text-decoration: none; font-size: 11px;
} div.nav a.deleted {
background-color: #fee;
} div.nav a.deleted:hover {
background-color: #077; color: #fee;
} div.nav a.disabled, div.nav a.disabled:hover {
cursor: default; color: #ccc; border: 1px solid #ccc; background-color: white;
} div.nav a:hover {
background-color: #007777; color: white;
} /* Auto Suggest */ div.suggestions {
-moz-box-sizing: border-box; box-sizing: border-box; border: 1px solid black; position: absolute;
} div.suggestions div {
cursor: default; padding: 0px 3px; background-color: white; opacity: 0.80; filter:alpha(opacity=80);
} div.suggestions div.current {
background-color: #3366cc; color: white;
}