Docs: disable printing of hrefs; fixes #18711

[ci skip]
2016-01-01 18:12:20 -08:00 · 2016-01-01 18:12:20 -08:00 · 1639ef7390
commit 1639ef7390
parent 244a0bde1e
1 changed files with 7 additions and 0 deletions
--- 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;		
+  }
+}