diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2017-08-18 17:09:51 +0200 |
|---|---|---|
| committer | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2017-08-18 21:19:58 +0200 |
| commit | b8f4e74cbc938d3448507d422c98061c2b71c922 (patch) | |
| tree | 81ee7c63355e5ed8f1e278ad901ce7e263b8e9fe | |
| parent | dd39ecf368a3cdb937e129f36a2a342d0c9358f0 (diff) | |
| download | rust-b8f4e74cbc938d3448507d422c98061c2b71c922.tar.gz rust-b8f4e74cbc938d3448507d422c98061c2b71c922.zip | |
Remove outline when details have focus
| -rw-r--r-- | src/librustdoc/html/static/rustdoc.css | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/librustdoc/html/static/rustdoc.css b/src/librustdoc/html/static/rustdoc.css index ee94f0baeb9..26a64f6cd22 100644 --- 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; |