From f4776a9df4ae776c724822a2f28bb6e41cab1850 Mon Sep 17 00:00:00 2001
From: Fangyi Zhou <me@fangyi.io>
Date: Fri, 7 Feb 2020 23:31:20 +0000
Subject: [PATCH] Use anchorjs for generating anchors

---
 _includes/script.html | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/_includes/script.html b/_includes/script.html
index 725385a6..f9fa4b12 100644
--- a/_includes/script.html
+++ b/_includes/script.html
@@ -1,6 +1,11 @@
 <!-- Import jQuery -->
 <script type="text/javascript" src="{{ "/assets/jquery.js" | prepend: site.baseurl }}"></script>
 
+<script src="https://cdnjs.cloudflare.com/ajax/libs/anchor-js/4.2.2/anchor.min.js" integrity="sha256-E4RlfxwyJVmkkk0szw7LYJxuPlp6evtPSBDlWHsYYL8=" crossorigin="anonymous"></script>
+<script type="text/javascript">
+  anchors.add();
+</script>
+
 <script type="text/javascript">
 
  // Makes sandwhich menu works