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.

Sign up for GitHub

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

Jump to bottom

[website] Polishing spacing and other small things #30828

Merged
merged 22 commits into from
Feb 2, 2022
Merged

[website] Polishing spacing and other small things #30828

merged 22 commits into from
Feb 2, 2022

Conversation

danilo-leal
Copy link
Contributor

@danilo-leal danilo-leal commented Jan 28, 2022 •
edited

  • Bunch of spacing and overall polishments, just housekeeping.
  • Added the 600 font-weight of IBM Plex Sans. I know we discussed trying to constrain ourselves with 3 weights, but a fourth between medium and bold was just missing to me, especially in h3 and h4 headings.

@danilo-leal danilo-leal added the website Pages that are not documentation-related, marketing-focused. label Jan 28, 2022
@mui-bot
Copy link

mui-bot commented Jan 28, 2022 •
edited

No bundle size changes

Generated by 🚫 dangerJS against c38731d

@danilo-leal
rever logo refinement
4bd6ede 
again, not supposed to be in this PR! dunno why this one is leaking in every PR I open 😕
@github-actions github-actions bot added the PR: out-of-date The pull request has merge conflicts and can't be merged label Jan 31, 2022
@github-actions github-actions bot removed the PR: out-of-date The pull request has merge conflicts and can't be merged label Jan 31, 2022
@danilo-leal danilo-leal mentioned this pull request Jan 31, 2022
Merged
1 task
@github-actions github-actions bot added the PR: out-of-date The pull request has merge conflicts and can't be merged label Feb 1, 2022
@github-actions github-actions bot removed the PR: out-of-date The pull request has merge conflicts and can't be merged label Feb 1, 2022
siriwatknp
siriwatknp approved these changes Feb 2, 2022
View reviewed changes
Copy link
Member

@siriwatknp siriwatknp left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

👍

@danilo-leal danilo-leal merged commit f3848ef into mui:master Feb 2, 2022
@danilo-leal danilo-leal deleted the details-polish branch February 2, 2022 14:29
wladimirguerra pushed a commit to wladimirguerra/material-ui that referenced this pull request Feb 2, 2022
@danilo-leal @wladimirguerra
[website] Polishing spacing and other small things (mui#30828)
70cf808
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@oliviertassinari oliviertassinari oliviertassinari left review comments

@siriwatknp siriwatknp siriwatknp approved these changes

Assignees
No one assigned
Labels
website Pages that are not documentation-related, marketing-focused.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
4 participants
@danilo-leal @mui-bot @oliviertassinari @siriwatknp