From 35f62bffa9546057e23c43baf8320cf38ff673bb Mon Sep 17 00:00:00 2001
From: Paul Tan <pyokagan@gmail.com>
Date: Sat, 28 Jul 2018 15:28:16 +0800
Subject: [PATCH] gh-pages.css: add some empty space below the #site-header

The styling of the other SE-EDU websites (e.g. AddressBook-Level4) is
such that headers will have some margins to separate them with
whitespace from the rest of the document.

This is not so with Bootstrap, where headers have extremely tiny
margins. This causes the document body to be uncomfortably close to the
site navigation bar, which looks bad.

Fix this by adding some space below the #site-header.
---
 css/gh-pages.css | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/css/gh-pages.css b/css/gh-pages.css
index 66113f53..e4205995 100644
--- a/css/gh-pages.css
+++ b/css/gh-pages.css
@@ -227,3 +227,7 @@ footer {
     margin-left: auto;
     margin-right: auto;
 }
+
+#site-header {
+    margin-bottom: 2.25rem;
+}