[DOCS] search box and page banner when building html

When I build the documentation following the instructions from "Building The Documentation" in Appendix J, it does not produce the banner and search box that are included with the published PostgreSQL documentation at https://www.postgresql.org/docs/9.6/static/.

Is there a way to get something like the banner and search box included when using the generated html?

I would appreciate and suggestions since I am not familiar with building websites.

...Rick Swagerman