Change 12776
#review-851775
Updates to the HTML presentation:
- remove the double DOCTYPE declarations.
- revise markup so that the content is no longer in
an immovable container. This should allow the
scroll position to be maintained by the browser and
work as expected after users navigate within a page
and then use the browser's back button.
- rename the generated search index file to 'index.js'
to avoid a mimetype issue. Also, made the search
code tolerant of a missing index.js.
- fix scrolling to targeted locations in a guide by
applying an offset to the scroll to move the target
out from under the header, and to animate the
scroll.
Updates to the HTML presentation:
- remove the double DOCTYPE declarations.
- revise markup so that the content is no longer in
an immovable container. This should allow the
scroll position to be maintained by the browser and
work as expected after users navigate within a page
and then use the browser's back button.
- rename the generated search index file to 'index.js'
to avoid a mimetype issue. Also, made the search
code tolerant of a missing index.js.
- fix scrolling to targeted locations in a guide by
applying an offset to the scroll to move the target
out from under the header, and to animate the
scroll.