diff options
author | David Chen <dzc@google.com> | 2016-07-26 20:54:03 +0000 |
---|---|---|
committer | Damien Martin-Guillerez <dmarting@google.com> | 2016-07-27 11:15:14 +0000 |
commit | 3e8bcae69a0718cf6972be086706b1841e0ed6b7 (patch) | |
tree | ce6b37e16350f164d9ef937a69ba51558c99e53d /site/docs/docs_style.css | |
parent | 3b47b1fdc6b24bb2c947d02316c1cf4e6a02cf09 (diff) |
Move Bazel docs into versioned directory.
* Move all Bazel docs (excluding main page, search page, and blog)
into versions/master directory.
* Replace all original pages with redirects.
* Add Jekyll config with default_version setting to specify the default
version to redirect docs to.
* Add Jekyll config with version_prefix setting specific to pages under
each version directory.
* Update layouts to generate links to pages for the same version with the
version_prefix.
* Update Blaze release script to copy docs from
third_party/bazel/site/versions/master
Changes to follow this CL:
* Separate navigation from layouts so that navigation can be versioned
as well.
* Add tool for cutting a release of Bazel docs and copies them into a new
version directory.
Bug: #579
--
MOS_MIGRATED_REVID=128510319
Diffstat (limited to 'site/docs/docs_style.css')
-rw-r--r-- | site/docs/docs_style.css | 61 |
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; -} |