From 30089732775c23d1e9ce86f3daf52f8074d32eec Mon Sep 17 00:00:00 2001
From: Pierre-Yves Chibon <pingou@pingoured.fr>
Date: Jan 29 2019 13:36:43 +0000
Subject: Make the button to show/hide the URL to checkout locally a PR more visible


Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr>

---

diff --git a/pagure/templates/repo_pull_request.html b/pagure/templates/repo_pull_request.html
index 67fde9c..99c5c82 100644
--- a/pagure/templates/repo_pull_request.html
+++ b/pagure/templates/repo_pull_request.html
@@ -467,7 +467,13 @@
           {% endif %}
   </div>
       <div class="small">
-        <p>Pull this pull-request locally <a href="#" id="local_pull_info_btn">v</a></p>
+        <p>
+          Pull this pull-request locally
+          <a href="#" id="local_pull_info_btn">
+            <span class="fa fa-arrow-circle-down fa-fw fa-1x">
+            </span>
+          </a>
+        </p>
         <pre id="local_pull_info" style="display:none">git fetch {{ config.get('GIT_URL_GIT') }}{{ repo.fullname }}.git refs/pull/{{ pull_request.id }}/head:pr{{ pull_request.id }}</pre>
       </div>
     {% endif %}
@@ -971,10 +977,10 @@ $(document).ready(function() {
     var _el = $('#local_pull_info');
     if (! _el.is(':visible')){
       _el.show();
-      $('#local_pull_info_btn').text('^');
+      $('#local_pull_info_btn').html('<span class="fa fa-arrow-circle-up fa-fw fa-1x">');
     } else {
       _el.hide();
-      $('#local_pull_info_btn').text('v');
+      $('#local_pull_info_btn').html('<span class="fa fa-arrow-circle-down fa-fw fa-1x">');
     }
     return false;
   });