Docs: disable printing of hrefs; fixes #18711

[ci skip]

1 files changed, 7 insertions, 0 deletions

diff --git a/docs/assets/css/src/docs.css b/docs/assets/css/src/docs.css
index a0a4dcec9..7f7f5c5d4 100644
--- 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;		
+  }
+}