padding-left: 4px
}
+pre {
+ background: #f8f8f8;
+ border: solid 1px #bbbbbb;
+ padding: 0.4em;
+ margin-left: 3em;
+}
+
+dt {
+ font-style: italic;
+}
+
+dd {
+ margin-bottom: 0.5em;
+}
+
/* Title */
.title {
padding: 10px 20px;
font-weight: bold;
}
+h2.nav .nav {
+ margin-left: 1em;
+}
+
/* Content */
.content {
padding: 20px 20px 20px 220px;