mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

improve search tabs look

Browse Source
This commit is contained in:
Guillaume Gomez 2018-10-16 19:07:41 +02:00
parent ca2639e82e
commit dc5242592b
3 changed files with 14 additions and 23 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
src/librustdoc/html/static/rustdoc.css
View File

@ -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 {

13
src/librustdoc/html/static/themes/dark.css
View File

@ -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 {

13
src/librustdoc/html/static/themes/light.css
View File

@ -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 {