}
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.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;