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 = ''; + button.innerHTML = ''; button.addEventListener( 'mouseleave', function() { this.removeAttribute( 'aria-label' ); this.classList.remove( 'tooltipped', 'tooltipped-w', 'tooltipped-se', 'tooltipped-sw' );