diff options
Diffstat (limited to 'src/librustdoc/html/static/rustdoc.css')
| -rw-r--r-- | src/librustdoc/html/static/rustdoc.css | 27 |
1 files changed, 20 insertions, 7 deletions
diff --git a/src/librustdoc/html/static/rustdoc.css b/src/librustdoc/html/static/rustdoc.css index c1ca86e3292..d2eeb2e15b3 100644 --- a/src/librustdoc/html/static/rustdoc.css +++ b/src/librustdoc/html/static/rustdoc.css @@ -1141,13 +1141,19 @@ kbd { border: solid 1px; border-radius: 3px; box-shadow: inset 0 -1px 0; + cursor: default; } -#theme-picker { +.theme-picker { position: absolute; left: 211px; - top: 17px; + top: 19px; +} + +#theme-picker { padding: 4px; + width: 27px; + height: 29px; border: 1px solid; border-radius: 3px; cursor: pointer; @@ -1156,21 +1162,28 @@ kbd { #theme-choices { display: none; position: absolute; - left: -1px; - top: 30px; + left: 0; + top: 28px; border: 1px solid; border-radius: 3px; z-index: 1; + cursor: pointer; } -#theme-choices > div { - border-top: 1px solid; +#theme-choices > button { + border: none; + width: 100%; padding: 4px; text-align: center; + background: rgba(0,0,0,0); +} + +#theme-choices > button:not(:first-child) { + border-top: 1px solid; } @media (max-width: 700px) { - #theme-picker { + .theme-picker { left: 109px; top: 7px; z-index: 1; |
