From cde7648d282034d6c5c92281d05ad443e24c1062 Mon Sep 17 00:00:00 2001
From: Mark Otto <otto@github.com>
Date: Tue, 8 Jul 2014 16:54:32 -0700
Subject: [PATCH] docs header padding

---
 docs/assets/css/src/docs.css | 12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)

diff --git a/docs/assets/css/src/docs.css b/docs/assets/css/src/docs.css
index 9e7535e9a3..0c5e0e9188 100644
--- a/docs/assets/css/src/docs.css
+++ b/docs/assets/css/src/docs.css
@@ -293,11 +293,11 @@ body {
 
 /* Page headers */
 .bs-docs-header {
-  padding: 30px 0;
-  margin-bottom: 40px;
-  font-size: 20px;
+  padding-top: 2rem;
+  padding-bottom: 2rem;
+  margin-bottom: 2rem;
+  font-size: 1.25rem;
   background-color: #563d7c;
-  /*border-bottom: 1px solid #eee;*/
 }
 .bs-docs-header h1 {
   margin-top: 0;
@@ -325,6 +325,10 @@ body {
 }
 
 @media (min-width: 992px) {
+  .bs-docs-header {
+    padding-top: 4rem;
+    padding-bottom: 4rem;
+  }
   .bs-docs-header h1,
   .bs-docs-header p {
     margin-right: 380px;