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;
text-transform:capitalize;
}
+kbd.def {
+ font-weight:bolder;
+ margin-right:.2em;
+}
+
kbd.input,
kbd.cmd,
kbd.osc {