Fixed -- Made docs permalinks focusable to improve accessibility.
@@ -125,8 +125,9 @@ div.versionadded span.title, div.versionchanged span.title, span.versionmodified
div.versionadded, div.versionchanged, div.deprecated { color:#555; }
/*** p-links ***/
-a.headerlink { color: #c60f0f; font-size: 0.8em; padding: 0 4px 0 4px; text-decoration: none; visibility: hidden; }
-h1:hover > a.headerlink, h2:hover > a.headerlink, h3:hover > a.headerlink, h4:hover > a.headerlink, h5:hover > a.headerlink, h6:hover > a.headerlink, dt:hover > a.headerlink { visibility: visible; }
+a.headerlink { color: #c60f0f; font-size: 0.8em; margin-left: 4px; opacity: 0; text-decoration: none; }
+h1:hover > a.headerlink, h2:hover > a.headerlink, h3:hover > a.headerlink, h4:hover > a.headerlink, h5:hover > a.headerlink, h6:hover > a.headerlink, dt:hover > a.headerlink { opacity: 1; }
+a.headerlink:focus { opacity: 1; }
/*** index ***/
table.indextable td { text-align: left; vertical-align: top;}
