Remove outline when details have focus

diff --git a/src/librustdoc/html/static/rustdoc.css b/src/librustdoc/html/static/rustdoc.css
index ee94f0baeb9a39bdf9cf590adc1b4c88878ab00b..26a64f6cd2245620d8d4d66220fa0c9e516b7f70 100644 (file)
--- a/src/librustdoc/html/static/rustdoc.css
+++ b/src/librustdoc/html/static/rustdoc.css
@@ -126,6 +126,10 @@ p {
        margin: 0 0 .6em 0;
 }
 
+summary {
+       outline: none;
+}
+
 code, pre {
        font-family: "Source Code Pro", Menlo, Monaco, Consolas, "DejaVu Sans Mono", Inconsolata, monospace;
        white-space: pre-wrap;