diff --git a/media/css/main.css b/media/css/main.css
index 5f8bfdd5..80afc3d1 100644
--- a/media/css/main.css
+++ b/media/css/main.css
@@ -1175,6 +1175,20 @@ code,
   padding-right: 2em;
 }
 
+/**
+ * Styles for anchors to deeper documentation links. This makes an element
+ * (currently "#") appear next to links, so a reader can click on it and have
+ * the anchor appear in the URL.
+ */
+#docContent a.id_link {
+  color: inherit;
+  visibility: hidden;
+}
+
+#docContent *:hover > a.id_link {
+  visibility: visible;
+}
+
 /**
   * Various callout boxes for docs, including warning, caution, note, tip
   */