Skip to content

Adjust styling of the "main" section #2455

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

Merged
merged 3 commits into from
Apr 26, 2020
Merged

Adjust styling of the "main" section #2455

merged 3 commits into from
Apr 26, 2020

Conversation

Turbo87
Copy link
Member

@Turbo87 Turbo87 commented Apr 26, 2020

This PR slightly adjusts the styling of the "main" section of the page. Instead of having it in a box we extend it horizontally to the full width of the page.

Before

before

After

after

r? @locks

@locks
Copy link
Contributor

locks commented Apr 26, 2020

@bors r+

@bors
Copy link
Contributor

bors commented Apr 26, 2020

📌 Commit 93d707b has been approved by locks

@bors
Copy link
Contributor

bors commented Apr 26, 2020

⌛ Testing commit 93d707b with merge 14b0db1...

@bors
Copy link
Contributor

bors commented Apr 26, 2020

☀️ Test successful - checks-travis
Approved by: locks
Pushing 14b0db1 to master...

@bors bors merged commit 14b0db1 into rust-lang:master Apr 26, 2020
@Turbo87 Turbo87 deleted the main branch April 27, 2020 13:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants