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);
                 });
             });