* rename resources
* sed Istio-Manager to Pilot in docs
* sed manager -> Pilot
* updating slides
* remove old images
* Sed in images
* the Pilot -> Pilot
* Istio Manager -> Pilot
* final set of seds
- The welcome screen now uses the same layout as all the non-docs pages so it looks more
'normal'
- The TOC's right margin has been shrunk to be consistent with the left margin.
- The community page now uses the color Twitter and GitHub images.
- Move a few things around to maintain order in the web site support stuff.
- Fix a number of broken links when viewing on a github staging site.
- Updated highligthing of "Edit this Page" pencil to match what other
buttons use on the site.
- Fixed the rendering of buttons on the landing page to have the proper
rounded corners to match our style.
- Support documents which omit the order: front matter field. Instead
of mysterious failues, they are now processed correctly and an error
message is inserted in the generated HTML to let the author know to
add the missing info.
The directory structure of the input web site now controls directory the layout of the
doc hierarchy. This simplifies authoring documents and enriches the UI we generate.
This also fixes the broken link problem with the GitHub staging sites. Most links work
now.
Our sitemap.xml now contains all that it should, and excludes stuff that it shouldn't contain.
Shriram Rajagopalan
JJ Geewax
Laurent Demailly
Martin Taillefer
LisaFC
Shriram Rajagopalan