Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Rollup of 12 pull requests #74710

Merged
merged 29 commits into from
Jul 24, 2020
Merged
Changes from 1 commit
Commits
Show all changes
29 commits
Select commit Hold shift + click to select a range
839216a
Improve logo image display in different themes
GuillaumeGomez Jul 15, 2020
c5cc29b
Parse rustc_deprecated as deprecated attribute
Mark-Simulacrum Jul 20, 2020
21a3d29
rustc_depr no longer needs to be connected to stability
Mark-Simulacrum Jul 20, 2020
8454ee8
Migrate rustc_depr uses to use deprecation attribute
Mark-Simulacrum Jul 20, 2020
6a9c5fb
polymorphize GlobalAlloc::Function
lcnr Jul 22, 2020
40b6bcc
no need to polymorphize
lcnr Jul 22, 2020
2152d18
More BTreeMap test cases, some exposing undefined behaviour
ssomers Jul 14, 2020
dc7d115
Don't ICE on unconstrained anonymous lifetimes inside associated types.
smmalis37 Jul 23, 2020
bbaab63
Include the note in the test.
smmalis37 Jul 23, 2020
37f6f7f
Fix typo
Homarechan Jul 23, 2020
3f4f313
Add missing backticks in diagnostics note
JohnTitor Jul 23, 2020
facc46f
BTreeMap::drain_filter: replace needless unsafety and test
ssomers Jul 22, 2020
9be9d72
Clean up E0727 explanation
GuillaumeGomez Jul 23, 2020
d6b50d8
Clean up E0724 explanation
GuillaumeGomez Jul 21, 2020
62e75a1
Fix ICE while building MIR with type errors
tmandry Jul 24, 2020
ccbb024
ayu: Change to less luminous color
tesuji Jul 23, 2020
7005ddb
Add right border bar to Dark and Light theme
tesuji Jul 22, 2020
38b2956
Rollup merge of #74361 - GuillaumeGomez:theme-logo, r=Manishearth
JohnTitor Jul 24, 2020
52476f5
Rollup merge of #74504 - lzutao:ayu-border-selected-fn, r=GuillaumeGomez
JohnTitor Jul 24, 2020
0651dd4
Rollup merge of #74572 - Mark-Simulacrum:unify-rustc-depr, r=petroche…
JohnTitor Jul 24, 2020
a816345
Rollup merge of #74601 - GuillaumeGomez:cleanup-e0724, r=jyn514
JohnTitor Jul 24, 2020
a02aecb
Rollup merge of #74623 - lcnr:polymorphize-functions, r=eddyb
JohnTitor Jul 24, 2020
1f6d5ce
Rollup merge of #74665 - smmalis37:issue-62200, r=davidtwco
JohnTitor Jul 24, 2020
cff5953
Rollup merge of #74666 - ssomers:btree_cleanup_1, r=Mark-Simulacrum
JohnTitor Jul 24, 2020
7f2bb29
Rollup merge of #74669 - Homarechan:fix_typo, r=lcnr
JohnTitor Jul 24, 2020
fab9b1d
Rollup merge of #74677 - ssomers:btree_cleanup_2, r=Amanieu
JohnTitor Jul 24, 2020
90f2816
Rollup merge of #74680 - JohnTitor:missing-backticks, r=lcnr
JohnTitor Jul 24, 2020
2406c93
Rollup merge of #74694 - GuillaumeGomez:cleanup-e0727, r=Dylan-DPC
JohnTitor Jul 24, 2020
01b069d
Rollup merge of #74703 - tmandry:issue-74047, r=oli-obk
JohnTitor Jul 24, 2020
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 4 additions & 0 deletions src/librustdoc/html/static/themes/ayu.css
Original file line number Diff line number Diff line change
@@ -61,6 +61,10 @@ pre {
background-color: #14191f;
}

.logo-container > img {
filter: drop-shadow(0 0 5px #fff);
}

/* Improve the scrollbar display on firefox */
* {
scrollbar-color: #5c6773 transparent;
4 changes: 4 additions & 0 deletions src/librustdoc/html/static/themes/dark.css
Original file line number Diff line number Diff line change
@@ -32,6 +32,10 @@ pre {
background-color: #505050;
}

.logo-container > img {
filter: drop-shadow(0 0 5px #fff);
}

/* Improve the scrollbar display on firefox */
* {
scrollbar-color: rgb(64, 65, 67) #717171;
4 changes: 4 additions & 0 deletions src/librustdoc/html/static/themes/light.css
Original file line number Diff line number Diff line change
@@ -43,6 +43,10 @@ pre {
scrollbar-color: rgba(36, 37, 39, 0.6) #d9d9d9;
}

.logo-container > img {
filter: drop-shadow(0 0 5px #aaa);
}

/* Improve the scrollbar display on webkit-based browsers */
::-webkit-scrollbar-track {
background-color: #ecebeb;