diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2018-04-13 22:54:09 +0200 |
|---|---|---|
| committer | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2018-04-17 23:35:43 +0200 |
| commit | f2ad3c3f6c1c8c2220127e3d38bcf095533a0e47 (patch) | |
| tree | 8cf0210b7f728961dd44e28847a385e4c11617ce /src/librustdoc/html/static/rustdoc.css | |
| parent | 9379bcdd0b4ef06303e8c4e3e7c3fd79882372cc (diff) | |
| download | rust-f2ad3c3f6c1c8c2220127e3d38bcf095533a0e47.tar.gz rust-f2ad3c3f6c1c8c2220127e3d38bcf095533a0e47.zip | |
Add rustdoc settings menu
Diffstat (limited to 'src/librustdoc/html/static/rustdoc.css')
| -rw-r--r-- | src/librustdoc/html/static/rustdoc.css | 19 |
1 files changed, 17 insertions, 2 deletions
diff --git a/src/librustdoc/html/static/rustdoc.css b/src/librustdoc/html/static/rustdoc.css index 4c6c8dcfdda..d6b3ab26af8 100644 --- a/src/librustdoc/html/static/rustdoc.css +++ b/src/librustdoc/html/static/rustdoc.css @@ -548,8 +548,16 @@ a { .block a.current.crate { font-weight: 500; } +.search-container { + position: relative; +} +.search-container > .top-button { + position: absolute; + right: 0; + top: 10px; +} .search-input { - width: 100%; + width: calc(100% - 34px); /* Override Normalize.css: we have margins and do not want to overflow - the `moz` attribute is necessary until Firefox 29, too early to drop at this point */ @@ -1224,7 +1232,14 @@ kbd { outline: none; } -#theme-picker { +#settings-menu { + position: absolute; + right: 0; + top: 10px; + outline: none; +} + +#theme-picker, #settings-menu { padding: 4px; width: 27px; height: 29px; |