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 /site/_layouts | |
parent | c4a8e91b9079933b242a492372ce59b0342a41c5 (diff) |
Fix Edit button style.
Fix #3028
tested: locally with ./scripts/serve-docs.sh
PiperOrigin-RevId: 156674683
Diffstat (limited to 'site/_layouts')
-rw-r--r-- | site/_layouts/documentation.html | 2 |
1 files changed, 1 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'); |