From 98616f50dcb5dae3f836b3ed800e7d3af13ff40c Mon Sep 17 00:00:00 2001
From: Jose Diaz-Gonzalez <email@josediazgonzalez.com>
Date: Tue, 13 Oct 2015 15:28:30 -0400
Subject: [PATCH] Add anchors to each header element

---
 docs/template.html | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/docs/template.html b/docs/template.html
index ee68133ee..95965a0eb 100644
--- a/docs/template.html
+++ b/docs/template.html
@@ -108,8 +108,12 @@
       </div>
     </div>
 
+    <script src="https://cdnjs.cloudflare.com/ajax/libs/anchor-js/1.3.0/anchor.js"></script>
     <script>
     document.addEventListener("DOMContentLoaded", function (e) {
+      anchors.options.visible = 'always';
+      anchors.add('.markdown-body h1, .markdown-body h2, .markdown-body h3, .markdown-body h4');
+
       var elements = document.querySelectorAll('table'),
           classNames = ['table', 'table-striped', 'table-hover', 'table-condensed'],
           addClass = function (el, className) {