Pull Requests: add button to compare force pushed commits (#22857)

To quickly see what changed without having to re-read the whole diff.

1 files changed, 11 insertions, 0 deletions

diff --git a/web_src/less/_repository.less b/web_src/less/_repository.less
index a8106c5bf..abbacfb53 100644
--- a/web_src/less/_repository.less
+++ b/web_src/less/_repository.less
@@ -952,6 +952,17 @@
           margin-top: 4px;
         }
 
+        .comparebox {
+          line-height: 32px;
+          vertical-align: middle;
+
+          .compare.label {
+            font-size: 1rem;
+            margin: 0;
+            border: 1px solid var(--color-light-border);
+          }
+        }
+
         .comment-form-reply .footer {
           padding-bottom: 1em;
         }