From e0c1d1665c8100ccad6c324e8e15e38df9b39327 Mon Sep 17 00:00:00 2001
From: Felix Mulder <felix.mulder@gmail.com>
Date: Mon, 7 Nov 2016 17:29:50 +0100
Subject: Fix highlighting in search, add highlights in forwarding links

---
 docs/_layouts/default.html | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)

(limited to 'docs/_layouts/default.html')

diff --git a/docs/_layouts/default.html b/docs/_layouts/default.html
index 992487de8..6fa1a1d78 100644
--- a/docs/_layouts/default.html
+++ b/docs/_layouts/default.html
@@ -26,6 +26,7 @@
             </div>
         </div>
     </body>
+    <script src="https://cdnjs.cloudflare.com/ajax/libs/mark.js/8.4.0/mark.min.js"></script>
     <script src="{{ site.baseurl }}/js/highlight.pack.js"></script>
     <script language="javascript">
         hljs.initHighlightingOnLoad();
@@ -35,5 +36,26 @@
             if (thisHREF.indexOf(window.location.hostname) > -1) thisHREF = thisHREF.replace(".md",".html")
             document.links[i].setAttribute('href', thisHREF);
         }
+
+        function getQueryVariable(variable) {
+            var query = window.location.search.substring(1);
+            var vars = query.split('&');
+
+            for (var i = 0; i < vars.length; i++) {
+                var pair = vars[i].split('=');
+
+                if (pair[0] === variable) {
+                    return decodeURIComponent(pair[1].replace(/\+/g, '%20'));
+                }
+            }
+        }
+
+
+        var highlight = getQueryVariable("highlight");
+        if (highlight) {
+            var context = document.querySelector("#content");
+            var instance = new Mark(context);
+            instance.mark(highlight);
+        }
     </script>
 </html>
-- 
cgit v1.2.3