hhvm/hack-hhvm-docs — pull request #350 by webarto (2014-08-30 18:31:40+00:00)
Title: Adjust scrollto offset per navbar height

e.g. http://docs.hhvm.com/manual/en/function.call-user-method-array.php, when you click on parameter.