Remove theme button outline

diff --git a/src/librustdoc/html/static/rustdoc.css b/src/librustdoc/html/static/rustdoc.css
index cd4f2cfa678e641e69a16d0f8c1a57a50300524a..a6630902c9794397fc24425b3dcda005e1436219 100644 (file)
--- 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;