Updated

node_modules/ref/docs/scripts/main.js

@@ -0,0 +1,25 @@
+
+/**
+ * Animated scroll to named anchors.
+ */
+
+$(document.body).on('click', 'a', function () {
+  var href = $(this).attr('href')
+  if (href[0] === '#') {
+    scrollTo(href)
+    window.history && history.pushState({}, name, href)
+    return false
+  }
+})
+
+function scrollTo (hash) {
+  var name = hash.substring(1)
+  var target = $('a[name="' + name + '"]')
+  if (target.length) {
+    $('html, body').animate({ scrollTop: target.offset().top }
+      , { duration: 500, easing: 'swing'})
+  } else {
+    console.log('documentation not written: %s', name)
+  }
+  return target
+}