From 89f92852dbdfb337dc0376b9c66b07dc725388aa Mon Sep 17 00:00:00 2001
From: Boris Kolpackov <boris@codesynthesis.com>
Date: Thu, 6 Oct 2016 12:02:51 +0200
Subject: Adjust document style

---
 doc.css | 8 ++++++++
 toc.css | 2 +-
 2 files changed, 9 insertions(+), 1 deletion(-)

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
-- 
cgit v1.1