Docs: disable printing of hrefs; fixes #18711

[ci skip]

diff --git a/docs/assets/css/src/docs.css b/docs/assets/css/src/docs.css
index a0a4dcec984da89f5cc0fae93a2bfff4543716a3..7f7f5c5d415c5553a754dc8f113895194367e6b8 100644 (file)
--- a/docs/assets/css/src/docs.css
+++ b/docs/assets/css/src/docs.css
@@ -1622,3 +1622,10 @@ h1[id] {
   text-decoration: none;
   background-color: #0269c2;
 }
+
+/* Nullify ill-advised printing of hrefs; see #18711 */
+@media print {
+  a[href]:after {              
+    content: "" !important;            
+  }
+}