diff options
author | steren <steren@google.com> | 2017-05-21 14:32:03 +0200 |
---|---|---|
committer | Irina Iancu <elenairina@google.com> | 2017-05-22 14:40:20 +0200 |
commit | bbb9bbc84a826345f118b0d94f337165a341af30 (patch) | |
tree | 4fca6ef41dcc0ecfd3e8a79a6931dbb28e268b9e | |
parent | c4a8e91b9079933b242a492372ce59b0342a41c5 (diff) |
Fix Edit button style.
Fix #3028
tested: locally with ./scripts/serve-docs.sh
PiperOrigin-RevId: 156674683
-rw-r--r-- | site/_layouts/documentation.html | 2 | ||||
-rw-r--r-- | site/_sass/style.scss | 8 |
2 files changed, 9 insertions, 1 deletions
diff --git a/site/_layouts/documentation.html b/site/_layouts/documentation.html index f15444c1f0..7d714231fc 100644 --- a/site/_layouts/documentation.html +++ b/site/_layouts/documentation.html @@ -107,7 +107,7 @@ version_prefix: /versions/master </nav> </div> <div class="col-lg-9"> - <a id="gh-edit" class="default-hidden"><i class="fa fa-pencil" aria-hidden="true"></i> Edit</a> + <a id="gh-edit" class="gh-edit default-hidden"><i class="fa fa-pencil" aria-hidden="true"></i> Edit</a> <script> var ghDocsBazeURL = 'https://github.com/bazelbuild/bazel/tree/master/site/versions/master/docs/'; var editButton = document.getElementById('gh-edit'); diff --git a/site/_sass/style.scss b/site/_sass/style.scss index e8ce59373d..a5a90f995f 100644 --- a/site/_sass/style.scss +++ b/site/_sass/style.scss @@ -552,3 +552,11 @@ dd { box-sizing: content-box !important; } } + +.gh-edit { + float: right; +} + +.gh-edit.default-hidden { + visibility: hidden; +} |