Replace doc pages with redirects to versioned doc pages.

* Add a new `redirect` Jekyll layout.
* Replace all pages under docs/ with redirects to corresponding page under
  versions/master/.
* Prepend links on Documentation sidebar, including generated navs for the
  Skylark Library and Build Encyclopedia, with prefix for versioned directory.
* Add code to both the internal jekyll-config.sh and external jekyll-tree.sh
  to add redirect pages for the Skylark Library and Build Encyclopedia.
* Bring the branched User Manual doc up to date with latest changes.

--
MOS_MIGRATED_REVID=131568800

1 files changed, 0 insertions, 61 deletions

diff --git a/site/docs/docs_style.css b/site/docs/docs_style.css
deleted file mode 100644
index bb225e1fd9..0000000000
--- a/site/docs/docs_style.css
+++ /dev/null
@@ -1,61 +0,0 @@
-* {
-  font-family: "Open Sans", sans-serif;
-}
-
-h1, h2, h3, h4, h5, h6 {
-  color: #444;
-  font-weight: 400;
-}
-
-p, li {
-  font-size: 14px;
-  color: #444;
-  font-weight: 400;
-}
-
-a {
-  color: #49b;
-  font-weight: 600;
-}
-
-code {
-  font-family: monospace;
-  font-size: 13px;
-  color: #000;
-}
-
-pre {
-  display: block;
-  background-color: #f5f7f9;
-  border: 1px solid #9ab;
-  padding: 0.5em;
-}
-
-table {
-  border-spacing: 0px;
-  border: 1px solid #9ab;
-}
-
-th, td {
-  border-left: 1px solid #9ab;
-}
-
-th:first-child, td:first-child {
-  border-left: none;
-}
-
-th {
-  padding: 0.5em;
-}
-
-td {
-  padding: 0.3em;
-}
-
-tr:nth-child(odd) {
-  background: #eee;
-}
-
-tr:nth-child(even) {
-  background: #fff;
-}