Update site.

site/style.css

@@ -7,7 +7,7 @@ body {
 }
 
 #body {
-  width: 800px;
+  width: 850px;
   margin: 0 auto;
 }
 
@@ -17,7 +17,7 @@ body {
 }
 
 #body header img {
-  width: 800px;
+  width: 850px;
   height: 100px;
 }
 
@@ -54,6 +54,14 @@ body {
   color: #eeeeee;
 }
 
+h1 {
+  margin-top: 1.5em;
+}
+
+h1:first-child {
+  margin-top: 0;
+}
+
 h2 {
   margin-top: 1.2em;
 }
@@ -66,10 +74,30 @@ p {
   margin-top: 0.8em;
 }
 
-ul {
+.figure {
+  margin-top: 0.8em;
+  text-align: center;
+}
+
+.caption {
+  margin-top: 0;
+  font-size: 0.8em;
+  font-style: italic;
+}
+
+ul, dl {
   margin-top: 0.8em;
 }
 
+dt {
+  font-style: italic;
+}
+
+dd {
+  margin-left: 1.5em;
+}
+
+
 pre {
   margin-top: 0.8em;
   border: 1px solid white;
@@ -79,6 +107,7 @@ pre {
 
 code {
   font-size: 16px;
+  white-space: pre;
 }
 
 a:link, a:visited {