From b5032e1aefe264844cf287cc948d1623c42fd487 Mon Sep 17 00:00:00 2001
From: Yuxuan 'fishy' Wang <fishywang@google.com>
Date: Wed, 16 Sep 2015 19:40:00 -0700
Subject: [PATCH] Tweak doc css to avoid overlapping with search box

Make the title lower, so it no longer overlaps with the search box.

Before and after screenshots: http://imgur.com/a/s7CO9

Change-Id: Ibfe062b34dc2af665aad239eefd498407cc34915
---
 Documentation/doc.css.in | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Documentation/doc.css.in b/Documentation/doc.css.in
index 6be89f6cdb..429e81c2f5 100644
--- a/Documentation/doc.css.in
+++ b/Documentation/doc.css.in
@@ -17,6 +17,10 @@ h1, h2, h3 {
   border-bottom: 2px solid silver;
 }
 
+h1 {
+  margin-top: 1.5em;
+}
+
 p {
   margin: 0.5em 0 0.5em 0;
 }