Mirrors/rust
1
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2026-05-07 17:18:32 +03:00
Code Issues Packages Projects Releases Wiki Activity

Rollup merge of #78084 - GuillaumeGomez:improve-mobile-display, r=jyn514,Nemo157

Browse Source 
Greatly improve display for small mobile devices screens

Fixes #78014.

The biggest change being the "search bar". Instead of having everything on one line, I decided to move the search input on its own:

![Screenshot from 2020-10-18 21-54-26](https://user-images.githubusercontent.com/3050060/96378530-c863a800-118c-11eb-8e82-a43fce312b5b.png)

Another change is that now, we "break words" in the listing so that they don't grow too big:

![Screenshot from 2020-10-18 21-57-17](https://user-images.githubusercontent.com/3050060/96378555-ffd25480-118c-11eb-8a71-8f116c7edd93.png)

r? @jyn514
This commit is contained in:
Yuki Okushi
2020-10-22 09:45:37 +09:00
committed by GitHub
parent 004a3aa49b 4e2c59a970
commit d9cf1f2050
1 changed files with 35 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/librustdoc/html/static/rustdoc.css
+35
View File
@@ -1568,6 +1568,41 @@ h4 > .notable-traits {
#titles, #titles > div {
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 {