border-style:none;
}
-code,pre {
+code,pre,pre.hl {
background:#eee;
}
margin:1em 2em;
}
-.pagefooter, .inlinefooter {
+.pagefooter, .inlinefooter, .comment-header {
color: gray;
font-size: 70%;
}
ol.lower-alpha {
list-style-type: lower-alpha;
}
+
+ol ol {
+ list-style-type: lower-alpha;
+}