mirror of
https://github.com/rust-lang/rust.git
synced 2025-01-17 18:23:16 +00:00
Greatly improve display for small mobile devices screens
This commit is contained in:
parent
98e16884b1
commit
4e2c59a970
@ -1560,6 +1560,41 @@ h4 > .notable-traits {
|
|||||||
#titles, #titles > div {
|
#titles, #titles > div {
|
||||||
height: 73px;
|
height: 73px;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
#main > table:not(.table-display) td {
|
||||||
|
word-break: break-word;
|
||||||
|
min-width: 10%;
|
||||||
|
}
|
||||||
|
|
||||||
|
.search-container > div {
|
||||||
|
display: block;
|
||||||
|
width: calc(100% - 37px);
|
||||||
|
}
|
||||||
|
|
||||||
|
#crate-search {
|
||||||
|
width: 100%;
|
||||||
|
border-radius: 4px;
|
||||||
|
border: 0;
|
||||||
|
}
|
||||||
|
|
||||||
|
#crate-search + .search-input {
|
||||||
|
width: calc(100% + 71px);
|
||||||
|
margin-left: -36px;
|
||||||
|
}
|
||||||
|
|
||||||
|
#theme-picker, #settings-menu {
|
||||||
|
padding: 5px;
|
||||||
|
width: 31px;
|
||||||
|
height: 31px;
|
||||||
|
}
|
||||||
|
|
||||||
|
#theme-picker {
|
||||||
|
margin-top: -2px;
|
||||||
|
}
|
||||||
|
|
||||||
|
#settings-menu {
|
||||||
|
top: 7px;
|
||||||
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
h3.notable {
|
h3.notable {
|
||||||
|
Loading…
Reference in New Issue
Block a user