Ticket #4200: 4200.patch

style.css

@@ -132 +132 @@
         margin-left: -0.556rem;
 }
 
+.toc-heading:focus-visible {
+    display: initial;
+    padding-right: 10px;
+}
+
 p.toc-jump {
         position: relative;
         height: 50px;