scroll to highlighted element for ranges too

Author: haarg

root/source.html

@@ -71,7 +71,4 @@
 <% IF module.sloc > 0 %>
   togglePod();
 <% END %>
-if(document.location.hash)
-    document.location.href = document.location.href;
-});
 </script>

root/static/js/syntaxhighlighter.js

@@ -156,6 +156,12 @@ $(function () {
                 $(el).contents().wrap('<a href="#'+id+'" id="'+id+'"></a>');
             }
         });
+
+        var res;
+        if (res = document.location.hash.match(/^(#L\d+)(-|,|$)/)) {
+            var el = $(res[1]);
+            $('html, body').scrollTop(el.offset().top);
+        }
     }
 });