diff --git a/assets/css/theme.css b/assets/css/theme.css
index 38b99b31c3..d0d1e91db7 100644
--- a/assets/css/theme.css
+++ b/assets/css/theme.css
@@ -1479,7 +1479,7 @@ pre:not(.mermaid) .copy-to-clipboard-button:hover {
color: var(--INTERNAL-CODE-BLOCK-BG-color);
}
-.disableInlineCopyToClipboard span > code.copy-to-clipboard-code + span.copy-to-clipboard-button {
+.disableInlineCopyToClipboard span > code.copy-to-clipboard-code + .copy-to-clipboard-button {
display: none;
}
@@ -1821,6 +1821,7 @@ html[dir='rtl'] .expand[open] > .box-label > i.expander-icon {
/* anchors */
.anchor {
+ background-color: transparent;
color: var(--INTERNAL-MAIN-LINK-color);
cursor: pointer;
font-size: 0.5em;
diff --git a/layouts/partials/version.txt b/layouts/partials/version.txt
index 6b74524951..9aaa1efd0c 100644
--- a/layouts/partials/version.txt
+++ b/layouts/partials/version.txt
@@ -1 +1 @@
-7.2.1+6747b8862e1ea7331662a6376ef02a48126816ae
\ No newline at end of file
+7.2.1+8c403f2aadf03c87f7741ead8e4c5425cbe30ed1
\ No newline at end of file
diff --git a/static/js/theme.js b/static/js/theme.js
index 95c12404fd..eb097047c3 100644
--- a/static/js/theme.js
+++ b/static/js/theme.js
@@ -336,7 +336,7 @@ function initMermaid(update, attrs) {
var svg = d3.select(this);
svg.html('' + svg.html() + '');
var inner = svg.select('*:scope > g');
- parent.insertAdjacentHTML('beforeend', '');
+ parent.insertAdjacentHTML('beforeend', '');
var button = parent.querySelector('.svg-reset-button');
var zoom = d3.zoom().on('zoom', function (e) {
inner.attr('transform', e.transform);
@@ -530,7 +530,7 @@ function initAnchorClipboard() {
document.querySelectorAll('h1~h2,h1~h3,h1~h4,h1~h5,h1~h6').forEach(function (element) {
var url = encodeURI((document.location.origin == 'null' ? document.location.protocol + '//' + document.location.host : document.location.origin) + document.location.pathname);
var link = url + '#' + element.id;
- var new_element = document.createElement('span');
+ var new_element = document.createElement('button');
new_element.classList.add('anchor');
if (!window.relearn.disableAnchorCopy) {
new_element.setAttribute('title', window.T_Copy_link_to_clipboard);
@@ -660,7 +660,7 @@ function initCodeClipboard() {
code.parentNode.replaceChild(span, code);
code = clone;
}
- var button = document.createElement('span');
+ var button = document.createElement('button');
button.classList.add('copy-to-clipboard-button');
button.setAttribute('title', window.T_Copy_to_clipboard);
button.innerHTML = '';