summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2016-10-06 10:02:51 (GMT)
committerBoris Kolpackov <boris@codesynthesis.com>2016-10-06 10:02:51 (GMT)
commit89f92852dbdfb337dc0376b9c66b07dc725388aa (patch)
tree167945c7c9eac51e0cb201ae8aaeaf738498e0c6
parenta41b1c2c4f4eb2963f9797874af5908a871af13f (diff)
Adjust document style
-rw-r--r--doc.css8
-rw-r--r--toc.css2
2 files changed, 9 insertions, 1 deletions
diff --git a/doc.css b/doc.css
index d0a8e65..33054b5 100644
--- a/doc.css
+++ b/doc.css
@@ -33,6 +33,14 @@ h2
margin: 1.6em 0 .6em -.8em;
}
+h3
+{
+ font-weight: normal;
+ font-size: 1.3em;
+ line-height: 1.4em;
+ margin: 1.6em 0 .6em -.2em;
+}
+
/* Title page */
#titlepage {
diff --git a/toc.css b/toc.css
index 6b7c7e6..6cad5aa 100644
--- a/toc.css
+++ b/toc.css
@@ -35,7 +35,7 @@ table.toc * th
table.toc * table.toc th
{
- padding-left : 1.7em;
+ padding-left : 1em;
}
table.toc * td