.node{
margin-left: -3em;
+ color: inherit;
+ background-color: #DDF;
+}
+
+.menu, .node {
+ color: inherit;
+ background-color: #DDF;
}
h2 {
background-color: navy;
}
-h3, h4 {
+.contents {
+ background-color: #DDF;
+ border: 4px double #000;
+}
+
+.contents h2 {
+ margin-left: 0;
+ color: black;
+ background-color: #DDF;
+}
+
+.shortcontents {
+ background-color: #DDF;
+ border: 4px double #000;
+ }
+
+.shortcontents h2{
+ display: none;
+}
+
+.shortcontents a {
+ margin-right: 1em;
+}
+
+h3, h4, h5 {
color: navy;
margin-left: -1em;
}
+h5 {
+ font-size: 100%;
+}
+
p {
- line-height: 1.5em;
+ line-height: 1.25em;
margin-top: 0;
margin-bottom: 0.5em;
}
text-decoration: underline;
}
-kbd {
- font-family: monospace;
-}
-
-table.cartouche {
- width: 60%;
-}
-
pre.example {
padding: 0.5em 1em 0.5em 1em;
color: #CCC;
text-decoration: none;
}
-blockquote.p {
- margin-top:0;
- padding-top:0;
- line-height: 100%;
+blockquote {
+ line-height: 1.25em;
+ border: 1px solid #00F;
+}
+
+kbd {
+ font-family: monospace;
+}
+
+kbd, code, .file {
+ margin-left:0.5em;
+ margin-right: 0.5em;
}
table, th, td {
border: none;
}
-pre.example kbd, pre.example .option {
+pre.example .command, pre.example .option, pre.example kbd {
font-weight: bold;
+ font-family: monospace;
background-color: inherit;
color: white;
+ margin-left:0;
+ margin-right: 0;
}
-pre.example em {
+pre.example strong {
font: inherit;
border: 2px solid green;
}
+
+dt {
+ font-weight: bold;
+}
+
+dfn {
+ font-style: normal;
+}
\ No newline at end of file