add code highlighting stuff back in

site/css/style.css

@@ -518,6 +518,35 @@ p {
   width: 100%;
 }
 
+/* Code Highlighting */
+
+
+pre, code {
+  white-space: pre;
+  display: inline-block;
+  margin: 0;
+  padding: 0;
+  font-family: Menlo, Consolas, "Courier New", Courier, "Liberation Mono", monospace;
+  font-size: 16px;
+  padding: 0 .5em;
+  line-height: 1.8em;
+}
+
+.highlight, p > pre, p > code {
+  background: #333;
+  color: #fff;
+  border-radius: 5px;
+  box-shadow: inset 0 1px 10px rgba(0,0,0,.3),
+    0 1px 0 rgba(255,255,255,.1),
+    0 -1px 0 rgba(0,0,0,.5);
+}
+
+.highlight {
+  padding: 10px 0;
+  width: 100%;
+  overflow: scroll;
+}
+
 /* Article HTML */
 
 article h2,