1 files changed, 10 insertions, 4 deletions
diff --git a/doc/style.css b/doc/style.css
index fc22ec1..5d14a1c 100644
--- a/doc/style.css
+++ b/doc/style.css
@@ -1,9 +1,8 @@
 body {
     margin: 5ex 10ex;
-    max-width: 40em;
-    line-height: 1.4;
+    max-width: 80ex;
+    line-height: 1.5;
     font-family: sans-serif;
-    font-size: 0.8em;
 }
 h1, h2, h3 {
     font-weight: normal;
@@ -21,8 +20,15 @@ pre {
 code {
     color: #007;
 }
-.chapter {
+div.chapter {
     margin-top: 4em;
+    border-top: solid 2px black;
+}
+.section .title {
+    font-size: 1.3em;
+}
+.section .section .title {
+    font-size: 1.2em;
 }
 p {
     margin-top: 0;