Skip to content

Expand rustdoc theme chooser x padding#75881

Merged
bors merged 1 commit intorust-lang:masterfrom
pickfire:patch-5
Aug 30, 2020
Merged

Expand rustdoc theme chooser x padding#75881
bors merged 1 commit intorust-lang:masterfrom
pickfire:patch-5

Conversation

@pickfire
Copy link
Contributor

@pickfire pickfire commented Aug 24, 2020

image
image

But I still think there is room for improvement considering mdbook.

image

CC @GuillaumeGomez @jyn514

@rust-highfive
Copy link
Contributor

rust-highfive commented Aug 24, 2020

Some changes occurred in HTML/CSS/JS.

cc @GuillaumeGomez

@rust-highfive
Copy link
Contributor

rust-highfive commented Aug 24, 2020

r? @ollie27

(rust_highfive has picked a reviewer for you, use r? to override)

@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Aug 24, 2020
@pickfire
Copy link
Contributor Author

pickfire commented Aug 24, 2020

r? @GuillaumeGomez @jyn514

@GuillaumeGomez
Copy link
Member

GuillaumeGomez commented Aug 24, 2020

It feels weird. Could you also increase the top and bottom paddings as well please?

@pickfire
Copy link
Contributor Author

pickfire commented Aug 24, 2020

@GuillaumeGomez I tried adding that but it feels even weirder.

image

@GuillaumeGomez
Copy link
Member

GuillaumeGomez commented Aug 24, 2020

Looks better to me haha.

cc @rust-lang/rustdoc

@jyn514
Copy link
Member

jyn514 commented Aug 24, 2020

I don't have a strong opinion, I think the change either before or after the padding looks better.

@Manishearth
Copy link
Member

Manishearth commented Aug 25, 2020

i like it

@GuillaumeGomez
Copy link
Member

GuillaumeGomez commented Aug 25, 2020

Well then, let's go forward with the current change. We can always add top/bottom padding afterwards if more people feel like it's needed.

@bors: r+ rollup

@bors
Copy link
Collaborator

bors commented Aug 25, 2020

📌 Commit 8e0e179 has been approved by GuillaumeGomez

@bors bors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Aug 25, 2020
@bors
Copy link
Collaborator

bors commented Aug 27, 2020

⌛ Testing commit 8e0e179 with merge ff42d5fcb55e5dcbb9c9375584e59d39b1a3c026...

@bors
Copy link
Collaborator

bors commented Aug 27, 2020

💔 Test failed - checks-azure

@bors bors added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. and removed S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. labels Aug 27, 2020
@jyn514
Copy link
Member

jyn514 commented Aug 27, 2020

Looks spurious.

@bors retry

@bors bors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Aug 27, 2020
Dylan-DPC-zz pushed a commit to Dylan-DPC-zz/rust that referenced this pull request Aug 27, 2020
@Dylan-DPC
Rollup merge of rust-lang#75881 - pickfire:patch-5, r=GuillaumeGomez
230b10b 
Expand rustdoc theme chooser x padding

![image](https://user-images.githubusercontent.com/4687791/91057476-d0eea500-e659-11ea-8c9a-e44db937da89.png)
![image](https://user-images.githubusercontent.com/4687791/91057530-e368de80-e659-11ea-9298-fbb00006d91f.png)

But I still think there is room for improvement considering mdbook.

![image](https://user-images.githubusercontent.com/4687791/91057583-f7acdb80-e659-11ea-9dc5-317caed92bc5.png)

CC @GuillaumeGomez @jyn514
@Dylan-DPC-zz Dylan-DPC-zz mentioned this pull request Aug 27, 2020
Closed
emilyalbini added a commit to emilyalbini/rust that referenced this pull request Aug 28, 2020
@emilyalbini
Rollup merge of rust-lang#75881 - pickfire:patch-5, r=GuillaumeGomez
7185766 
Expand rustdoc theme chooser x padding

![image](https://user-images.githubusercontent.com/4687791/91057476-d0eea500-e659-11ea-8c9a-e44db937da89.png)
![image](https://user-images.githubusercontent.com/4687791/91057530-e368de80-e659-11ea-9298-fbb00006d91f.png)

But I still think there is room for improvement considering mdbook.

![image](https://user-images.githubusercontent.com/4687791/91057583-f7acdb80-e659-11ea-9dc5-317caed92bc5.png)

CC @GuillaumeGomez @jyn514
@emilyalbini emilyalbini mentioned this pull request Aug 28, 2020
Closed
Dylan-DPC-zz pushed a commit to Dylan-DPC-zz/rust that referenced this pull request Aug 29, 2020
@Dylan-DPC
Rollup merge of rust-lang#75881 - pickfire:patch-5, r=GuillaumeGomez
1b3cb99 
Expand rustdoc theme chooser x padding

![image](https://user-images.githubusercontent.com/4687791/91057476-d0eea500-e659-11ea-8c9a-e44db937da89.png)
![image](https://user-images.githubusercontent.com/4687791/91057530-e368de80-e659-11ea-9298-fbb00006d91f.png)

But I still think there is room for improvement considering mdbook.

![image](https://user-images.githubusercontent.com/4687791/91057583-f7acdb80-e659-11ea-9dc5-317caed92bc5.png)

CC @GuillaumeGomez @jyn514
@Dylan-DPC-zz Dylan-DPC-zz mentioned this pull request Aug 29, 2020
Closed
Dylan-DPC-zz pushed a commit to Dylan-DPC-zz/rust that referenced this pull request Aug 29, 2020
@Dylan-DPC
Rollup merge of rust-lang#75881 - pickfire:patch-5, r=GuillaumeGomez
9b2aa09 
Expand rustdoc theme chooser x padding

![image](https://user-images.githubusercontent.com/4687791/91057476-d0eea500-e659-11ea-8c9a-e44db937da89.png)
![image](https://user-images.githubusercontent.com/4687791/91057530-e368de80-e659-11ea-9298-fbb00006d91f.png)

But I still think there is room for improvement considering mdbook.

![image](https://user-images.githubusercontent.com/4687791/91057583-f7acdb80-e659-11ea-9dc5-317caed92bc5.png)

CC @GuillaumeGomez @jyn514
This was referenced Aug 29, 2020
Closed
Merged
bors added a commit to rust-lang-ci/rust that referenced this pull request Aug 30, 2020
@bors
Auto merge of rust-lang#76090 - Dylan-DPC:rollup-eksndcr, r=Dylan-DPC
62850d8 
Rollup of 14 pull requests

Successful merges:

 - rust-lang#75832 (Move to intra-doc links for wasi/ext/fs.rs, os_str_bytes.rs…)
 - rust-lang#75852 (Switch to intra-doc links in `core::hash`)
 - rust-lang#75874 (Shorten liballoc doc intra link while readable)
 - rust-lang#75881 (Expand rustdoc theme chooser x padding)
 - rust-lang#75885 (Fix another clashing_extern_declarations false positive.)
 - rust-lang#75892 (Fix typo in TLS Model in Unstable Book)
 - rust-lang#75910 (Add test for issue rust-lang#27130)
 - rust-lang#75917 (Move to intra doc links for core::ptr::non_null)
 - rust-lang#75975 (Allow --bess ing expect-tests in tools)
 - rust-lang#75990 (Add __fastfail for Windows on arm/aarch64)
 - rust-lang#76015 (Fix loading pretty-printers in rust-lldb script)
 - rust-lang#76022 (Clean up rustdoc front-end source code)
 - rust-lang#76029 (Move to intra-doc links for library/core/src/sync/atomic.rs)
 - rust-lang#76057 (Move retokenize hack to save_analysis)

Failed merges:

r? @ghost
@bors bors merged commit f35eb5c into rust-lang:master Aug 30, 2020
@jyn514 jyn514 added the T-rustdoc Relevant to the rustdoc team, which will review and decide on the PR/issue. label Aug 30, 2020
@pickfire pickfire deleted the patch-5 branch August 30, 2020 02:50
@cuviper cuviper added this to the 1.48.0 milestone Nov 17, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

@GuillaumeGomez GuillaumeGomez

Labels

S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. T-rustdoc Relevant to the rustdoc team, which will review and decide on the PR/issue.

Projects

None yet

Milestone

1.48.0

Development

Successfully merging this pull request may close these issues.

8 participants

@pickfire @rust-highfive @GuillaumeGomez @jyn514 @Manishearth @bors @cuviper @ollie27