}
code,pre,pre.hl {
- background:#eee;
+ background:#d8d8d8;
}
pre {
}
.comment code, .comment pre, .comment pre.hl {
- background:#d8d8d8;
+ background:#ddd;
}
margin-bottom: 0.5ex;
}
+li.L1 {
+ list-style: decimal;
+}
+
+li.L2 {
+ list-style: lower-alpha;
+}
+
table {
margin: 1ex 0ex;
}