border-style:none;
}
-code,pre {
+code,pre,pre.hl {
background:#eee;
}
margin:1em 2em;
}
+.pagefooter, .inlinefooter, .comment-header {
+ color: gray;
+ font-size: 70%;
+}
+
#content {
margin-top: 107px;
padding-top: 1ex;
+ max-width: 60em;
}
#pageinfo {
}
h1 {
- font:120% sans-serif;
+ font:150% sans-serif;
}
h2 {
table.borders th, table.borders td {
border: 1px solid #206cbc;
}
+
+ol.lower-alpha {
+ list-style-type: lower-alpha;
+}
+
+ol ol {
+ list-style-type: lower-alpha;
+}