}
PRE.command {
+ background: #f0f0f0;
+ border: dotted thin #7f7f7f;
color: #7f0000;
margin-left: 36pt;
+ padding: 10px;
+}
+
+P.example {
+ font-style: italic;
+ margin-left: 36pt;
}
PRE.example {
TD.sel A, TD.sel A:hover, TD.unsel A:link:hover, TD.unsel A:visited:hover,
TD.unsel A:active, TD.unsel A, TD.unsel A:visited {
color: #666666;
+ display: block;
font-weight: normal;
+ padding: 8px;
text-decoration: none;
}
color: white;
}
+TH.conflict {
+ text-align: right;
+}
+
+H1.title {
+ display: none;
+}
+
H2.title, H3.title {
border-bottom: solid 1pt #999999;
}
}
TABLE.list TH {
- border-bottom: solid 1pt #999999;
+ background: white;
+ border-bottom: solid thin #cccccc;
+ color: #444444;
padding-top: 10pt;
padding-left: 5pt;
text-align: left;
+ vertical-align: bottom;
white-space: nowrap;
}
+TABLE.list TH A {
+ color: #4444cc;
+}
+
TABLE.list TD {
border-bottom: solid thin #eeeeee;
padding-top: 5pt;
padding-left: 5pt;
}
+TABLE.list TR:nth-child(even) {
+ background: #f8f8f8;
+}
+
+TABLE.list TR:nth-child(odd) {
+ background: #f4f4f4;
+}
+
DIV.sidebar {
float: right;
min-width: 25%;
TABLE.inset {
background: #f0f0f0;
border: thin solid #e0e0e0;
- margin-left: auto;
- margin-right: auto;
margin-top: 1em;
padding: 0;
- width: 90%;
+ width: 100%;
/* These are not implemented by all browsers, but that's OK */
border-radius: 5px;
-moz-border-radius: 5px;
background: #f0f0f0;
}
+DIV.tabs {
+ height: 480px;
+ overflow: hidden;
+}
+
+DIV.tab {
+ float: left;
+ height: 100%;
+ overflow-y: auto;
+ width: 100%;
+}
+
/* API documentation styles... */
div.body h1 {
margin: 0;