From 1639ef73903acdc4fa069d55c1c1548e9e14ad60 Mon Sep 17 00:00:00 2001
From: Chris Rebert <github@chrisrebert.com>
Date: Fri, 1 Jan 2016 18:12:20 -0800
Subject: [PATCH] Docs: disable printing of hrefs; fixes #18711

[ci skip]
---
 docs/assets/css/src/docs.css | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/docs/assets/css/src/docs.css b/docs/assets/css/src/docs.css
index a0a4dcec98..7f7f5c5d41 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;		
+  }
+}
-- 
2.47.2