diff --git a/static/css/theme.css b/static/css/theme.css
index 50e3b4ef16..87c0f12900 100644
--- a/static/css/theme.css
+++ b/static/css/theme.css
@@ -1175,6 +1175,12 @@ span > .copy-to-clipboard-button {
 div.highlight .copy-to-clipboard-button {
     display: none;
 }
+@media (any-hover: none) {
+    /* if there is at least one input device that does not support hover, we want to force the copy button */
+    div.highlight .copy-to-clipboard-button {
+        display: block;
+    }
+}
 div.highlight:hover .copy-to-clipboard-button {
     display: block;
 }
@@ -1545,6 +1551,12 @@ html[dir="rtl"] .expand > .expand-label > i.fa-chevron-right {
     position: absolute;
     visibility: hidden;
 }
+@media (any-hover: none) {
+    /* if there is at least one input device that does not support hover, we want to force the copy button */
+    .anchor {
+        visibility: visible;
+    }
+}
 
 h2:hover .anchor,
 h3:hover .anchor,