From 18f6f5f28e482ebe39ee50ef580d36dbf7101740 Mon Sep 17 00:00:00 2001
From: Cade Scroggins <git@cadejs.com>
Date: Tue, 14 Jun 2016 19:30:44 -0700
Subject: [PATCH] prerender all links. i don't think this is actually doing
 anything

---
 index.html | 15 ++++++++++-----
 1 file changed, 10 insertions(+), 5 deletions(-)

diff --git a/index.html b/index.html
index 2be591f..d817b26 100644
--- a/index.html
+++ b/index.html
@@ -239,24 +239,29 @@
    * Help
    */
   var Help = (function(config) {
+    var head = document.getElementsByTagName('head')[0];
     var sidebar = document.getElementById('js-sidebar');
     var searchHelp = document.getElementById('js-help');
 
     config.commands.forEach(function(command) {
+      var prefetch = document.createElement('link');
       var li = document.createElement('li');
-      var link = document.createElement('a');
+      var anchor = document.createElement('a');
       var key = document.createElement('span');
       var name = document.createElement('span');
 
+      prefetch.rel = 'prerender';
+      prefetch.href = command.url;
       key.className = 'help-key';
       key.innerHTML = command.key + config.searchDelimiter + ' ';
       name.className = 'help-name';
       name.innerHTML = command.name;
-      link.href = command.url;
+      anchor.href = command.url;
 
-      link.appendChild(key);
-      link.appendChild(name);
-      li.appendChild(link);
+      head.appendChild(prefetch);
+      anchor.appendChild(key);
+      anchor.appendChild(name);
+      li.appendChild(anchor);
       searchHelp.appendChild(li);
     });