diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2018-10-16 19:07:41 +0200 |
|---|---|---|
| committer | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2018-10-21 19:25:33 +0200 |
| commit | dc5242592b80e10fb5e18913d238a47db7f2de0b (patch) | |
| tree | e80f360d8cca6b155e2a35bbcf517a52a3a37e78 | |
| parent | ca2639e82ec4a18d7359efbfb555ea69dd644c97 (diff) | |
| download | rust-dc5242592b80e10fb5e18913d238a47db7f2de0b.tar.gz rust-dc5242592b80e10fb5e18913d238a47db7f2de0b.zip | |
improve search tabs look
| -rw-r--r-- | src/librustdoc/html/static/rustdoc.css | 11 | ||||
| -rw-r--r-- | src/librustdoc/html/static/themes/dark.css | 13 | ||||
| -rw-r--r-- | src/librustdoc/html/static/themes/light.css | 13 |
3 files changed, 14 insertions, 23 deletions
diff --git a/src/librustdoc/html/static/rustdoc.css b/src/librustdoc/html/static/rustdoc.css index 91ff03a327d..63740ea7291 100644 --- a/src/librustdoc/html/static/rustdoc.css +++ b/src/librustdoc/html/static/rustdoc.css @@ -1086,17 +1086,14 @@ pre.rust { float: left; width: 33.3%; text-align: center; - border-bottom: 1px solid; font-size: 18px; cursor: pointer; + border-top: 2px solid; } -#titles > div.selected { - border-bottom: 3px solid; -} - -#titles > div:hover { - border-bottom: 3px solid; +#titles > div:not(:last-child):not(.selected) { + margin-right: 1px; + width: calc(33.3% - 1px); } #titles > div > div.count { diff --git a/src/librustdoc/html/static/themes/dark.css b/src/librustdoc/html/static/themes/dark.css index 34a1d71beec..8e4890d9058 100644 --- a/src/librustdoc/html/static/themes/dark.css +++ b/src/librustdoc/html/static/themes/dark.css @@ -300,16 +300,13 @@ pre.ignore:hover, .information:hover + pre.ignore { border-color: black; } -#titles > div { - border-bottom-color: #ccc; +#titles > div:not(.selected) { + background-color: #252525; + border-top-color: #252525; } -#titles > div.selected { - border-bottom-color: #0078ee; -} - -#titles > div:hover { - border-bottom-color: #0089ff; +#titles > div:hover, #titles > div.selected { + border-top-color: #0089ff; } #titles > div > div.count { diff --git a/src/librustdoc/html/static/themes/light.css b/src/librustdoc/html/static/themes/light.css index 8218b1b371e..2742faab017 100644 --- a/src/librustdoc/html/static/themes/light.css +++ b/src/librustdoc/html/static/themes/light.css @@ -294,16 +294,13 @@ pre.ignore:hover, .information:hover + pre.ignore { border-color: black; } -#titles > div { - border-bottom-color: #ccc; +#titles > div:not(.selected) { + background-color: #e6e6e6; + border-top-color: #e6e6e6; } -#titles > div.selected { - border-bottom-color: #0078ee; -} - -#titles > div:hover { - border-bottom-color: #0089ff; +#titles > div:hover, #titles > div.selected { + border-top-color: #0089ff; } #titles > div > div.count { |