From b6894f931a5f0dc4a11abfcc1d3e2c2d3dedbfbf Mon Sep 17 00:00:00 2001
From: Levi Morrison <levim@php.net>
Date: Mon, 11 Jun 2012 15:43:27 -0600
Subject: [PATCH] Halfed the scroll time for TOC comments.  It caused a stutter
 in the scroll on many pages. The faster scroll seems to eliminate the
 problem.

---
 js/common.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/js/common.js b/js/common.js
index c0e4533ca..79f236a16 100644
--- a/js/common.js
+++ b/js/common.js
@@ -219,7 +219,7 @@ $(document).ready(function() {
             jQuery.getScript("/js/jquery.scrollto.min.js", function(){
                 l.delegate("a.toc_item","click keypress", function(e) {
                     // Escape dots in ids so they won't be treated as class selectors
-                    $.scrollTo($(this).attr("href").replace(".", "\\\."), 800);
+                    $.scrollTo($(this).attr("href").replace(".", "\\\."), 400);
                 });
             });