From 4416ab4c7c4e40ef3edc4faf442c5658510986e1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=B6ren=20Weber?= <mail@soeren-weber.de>
Date: Tue, 26 Sep 2023 21:27:04 +0200
Subject: [PATCH] clipboard: fix malused Fontawesome style #649

---
 static/css/theme.css | 1 -
 static/js/theme.js   | 2 +-
 2 files changed, 1 insertion(+), 2 deletions(-)

diff --git a/static/css/theme.css b/static/css/theme.css
index cf0e5b4365..b13c89667c 100644
--- a/static/css/theme.css
+++ b/static/css/theme.css
@@ -1174,7 +1174,6 @@ span > .copy-to-clipboard-button {
 
 .copy-to-clipboard-button > i {
     font-size: .859625rem;
-    font-weight: 500;
 }
 
 /* only show copy to clipboard on hover for code blocks if configured */
diff --git a/static/js/theme.js b/static/js/theme.js
index 5696e00619..6ef6eff41f 100644
--- a/static/js/theme.js
+++ b/static/js/theme.js
@@ -602,7 +602,7 @@ function initCodeClipboard(){
             var button = document.createElement( 'span' );
             button.classList.add( 'copy-to-clipboard-button' );
             button.setAttribute( 'title', window.T_Copy_to_clipboard );
-            button.innerHTML = '<i class="fas fa-copy"></i>';
+            button.innerHTML = '<i class="far fa-copy"></i>';
             button.addEventListener( 'mouseleave', function() {
                 this.removeAttribute( 'aria-label' );
                 this.classList.remove( 'tooltipped', 'tooltipped-w', 'tooltipped-se', 'tooltipped-sw' );