From b508a4f15f5c024284decd794d7edf9bc0b88767 Mon Sep 17 00:00:00 2001
From: Andrea Bolognani <abologna@redhat.com>
Date: Wed, 30 Mar 2016 15:31:20 +0200
Subject: [PATCH] docs: Make most headers a bit smaller

Headers are bold already, so the font doesn't need to be that
big to draw attention.
---
 docs/generic.css | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/docs/generic.css b/docs/generic.css
index d98f612c67..c0c62158fd 100644
--- a/docs/generic.css
+++ b/docs/generic.css
@@ -52,22 +52,22 @@ h1, h2, h3, h4, h5, h6 {
 
 h1 {
   margin-top: 0em;
-  font-size: 2em;
+  font-size: 1.6em;
 }
 
 h2 {
   margin-top: 1.0em;
-  font-size: 1.6em;
+  font-size: 1.4em;
 }
 
 h3 {
   margin-top: 1.0em;
-  font-size: 1.4em;
+  font-size: 1.2em;
 }
 
 h4 {
   margin-top: 1.0em;
-  font-size: 1.2em;
+  font-size: 1.1em;
 }
 
 h5 {