1 files changed, 29 insertions, 0 deletions
diff --git a/doc/style.css b/doc/style.css
new file mode 100644
index 0000000..fc22ec1
--- /dev/null
+++ b/doc/style.css
@@ -0,0 +1,29 @@
+body {
+    margin: 5ex 10ex;
+    max-width: 40em;
+    line-height: 1.4;
+    font-family: sans-serif;
+    font-size: 0.8em;
+}
+h1, h2, h3 {
+    font-weight: normal;
+}
+pre, code {
+    font-family: x, monospace;
+}
+pre {
+    padding: 1ex;
+    background: #eee;
+    border: solid 1px #ddd;
+    min-width: 0;
+    font-size: 90%;
+}
+code {
+    color: #007;
+}
+.chapter {
+    margin-top: 4em;
+}
+p {
+    margin-top: 0;
+}