line-height: 2ex;
}
+div.clearer {
+ clear:both;
+}
+
+ul.inside li, ol.inside li {
+ left: 1em;
+ position: relative;
+ padding-right: 1em;
+}
+
#tree {
background-color: #212A30;
line-height: 1.8ex;
#content table th {
margin: 0;
padding: .5em;
+}
+
+#content table th {
+ font-weight: bold;
+}
+
+#content table td {
font-weight: normal;
}
+
#content table th.sub1 {
padding-left: 2em;
}
text-transform:capitalize;
}
+kbd.def {
+ font-weight:bolder;
+ margin-right:.2em;
+}
+
kbd.input,
kbd.cmd,
kbd.osc {