From 95f924fd0d82c2a43db64edd22f41d7ba870261c Mon Sep 17 00:00:00 2001
From: Zach Toolson <ztoolson@users.noreply.github.com>
Date: Wed, 13 Sep 2017 22:17:16 -0600
Subject: [PATCH] Do not push history state. The browser already handles back
 properly (#878)

---
 source/javascripts/app/_toc.js | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/source/javascripts/app/_toc.js b/source/javascripts/app/_toc.js
index bb651b0..f1937bc 100644
--- a/source/javascripts/app/_toc.js
+++ b/source/javascripts/app/_toc.js
@@ -76,9 +76,6 @@
         $best.siblings(tocListSelector).addClass("active");
         $toc.find(tocListSelector).filter(":not(.active)").slideUp(150);
         $toc.find(tocListSelector).filter(".active").slideDown(150);
-        if (window.history.pushState) {
-          window.history.pushState(null, "", best);
-        }
         // TODO remove classnames
         document.title = $best.data("title") + " – " + originalTitle;
       }