summaryrefslogtreecommitdiffstats
path: root/doc/style.css
diff options
context:
space:
mode:
Diffstat (limited to 'doc/style.css')
-rw-r--r--doc/style.css14
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;