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 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'doc.css')

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