Adjust document style

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