diff --git a/src/librustdoc/html/static/rustdoc.css b/src/librustdoc/html/static/rustdoc.css index 91ff03a327df4b1c78d4f866eaf4c228dfae99dc..63740ea729131f887fec12ccba73224cf69d9244 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 34a1d71beecfcdf863f5fdc29b89549b9c7fadaf..8e4890d905817722eb960c0e0732255944c2ce7c 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 8218b1b371ea72fcba87a0e3fb2205ef90c34355..2742faab017bf13d95fff7aadbab3d91ba87ae46 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 {