Merge pull request #328 from nickrobinson/highlight

Highlight destination identifier on in-page navigation. #310
diff --git a/gddo-server/assets/site.css b/gddo-server/assets/site.css
index a2637f8..bb270d7 100644
--- a/gddo-server/assets/site.css
+++ b/gddo-server/assets/site.css
@@ -21,6 +21,10 @@
 
 }
 
+.highlighted {
+    background-color: #FDFF9E;
+}
+
 #x-pkginfo {
     margin-top: 25px;
     border-top: 1px solid #ccc;
diff --git a/gddo-server/assets/site.js b/gddo-server/assets/site.js
index b0381a5..4f52d58 100644
--- a/gddo-server/assets/site.js
+++ b/gddo-server/assets/site.js
@@ -119,6 +119,24 @@
 
 });
 
+$(function() {
+
+    if ("onhashchange" in window) {
+        var highlightedSel = "";
+        window.onhashchange = function() {
+            if (highlightedSel) {
+                $(highlightedSel).removeClass("highlighted");
+            }
+            highlightedSel = window.location.hash.replace( /(:|\.|\[|\]|,)/g, "\\$1" );
+            if (highlightedSel && (highlightedSel.indexOf("example-") == -1)) {
+                $(highlightedSel).addClass("highlighted");
+            }
+        };
+        window.onhashchange();
+    }
+
+});
+
 // keyboard shortcuts
 $(function() {
     var prevCh = null, prevTime = 0, modal = false;