From 2fbe2229a4837ef032ac5f3e94cd5411976bbd93 Mon Sep 17 00:00:00 2001
From: Cynthia Lin <cynthialin1004@gmail.com>
Date: Sun, 29 Jan 2017 14:36:16 -0800
Subject: [PATCH] portico: Fix portico header covering anchor links.

Fixes issue #3506
---
 static/styles/portico.css | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/static/styles/portico.css b/static/styles/portico.css
index 545877ba9c..88f1fdfd02 100644
--- a/static/styles/portico.css
+++ b/static/styles/portico.css
@@ -57,6 +57,14 @@ body {
     font-size: 17px;
 }
 
+*[id]:before {
+    display: block;
+    content: " ";
+    margin-top: -40px;
+    height: 40px;
+    visibility: hidden;
+}
+
 .markdown ul,
 .markdown ol {
     margin-left: 30px;