--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/docs.css	Thu Sep 10 16:37:33 2009 -0700
@@ -0,0 +1,27 @@
+body {
+    font-family: palatino, georgia, verdana, arial, sans-serif;
+    font-size: 12pt;
+}
+
+.doctest-block {
+    font-family: monaco, andale mono, lucidatypewriter, courier,
+                 courier new, monospace;
+    font-size: 10pt;
+    background-color: #eeeeee;
+}
+
+.literal {
+    font-family: monaco, andale mono, lucidatypewriter, courier,
+                 courier new, monospace;    
+    font-size: 10pt;
+    background-color: #eeeeee;
+}
+
+a {
+    color: black;
+}
+
+.document {
+    width: 50em;
+    margin: 0 auto;
+}