diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2018-02-20 20:13:17 +0100 |
|---|---|---|
| committer | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2018-02-20 20:13:17 +0100 |
| commit | 8d51c331c759210ba320c5662ab3ce3af5e0500b (patch) | |
| tree | 8196694381a4a2a52aa36ca05c0f33f473bbc433 | |
| parent | 5b61b615f5701bea9482f27e1a9f5ae36df721a7 (diff) | |
| download | rust-8d51c331c759210ba320c5662ab3ce3af5e0500b.tar.gz rust-8d51c331c759210ba320c5662ab3ce3af5e0500b.zip | |
Remove theme button outline
| -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 cd4f2cfa678..a6630902c97 100644 --- a/src/librustdoc/html/static/rustdoc.css +++ b/src/librustdoc/html/static/rustdoc.css @@ -1189,6 +1189,10 @@ kbd { top: 19px; } +.theme-picker button { + outline: none; +} + #theme-picker { padding: 4px; width: 27px; |