gcp-ingestion/custom_docs_theme
William Lachance 095270056b
More doc tweaks (#740)
* Add a repo url

This will let people jump directly to editing the docs from the UI,
in case further tweaks are required.

* Fix omitted renaming of "edge server" to "edge service"

* Hide the prev/next buttons by default

They aren't very useful and cause the header to collapse vertically
in a very awkward way.
2019-08-13 13:53:37 -04:00
..
main.html More doc tweaks (#740) 2019-08-13 13:53:37 -04:00