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

[rendering] Simplify some UA styles to use shorthands where appropriate #10181

Merged
merged 1 commit into from
Mar 6, 2024

Conversation

emilio
Copy link
Contributor

@emilio emilio commented Mar 6, 2024

No behavior change intended.


/infrastructure.html ( diff )
/rendering.html ( diff )

@emilio emilio requested review from zcorpan and annevk March 6, 2024 13:37
Copy link
Member

@annevk annevk left a comment

Choose a reason for hiding this comment

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

Nice!

source Show resolved Hide resolved
@annevk annevk merged commit 98282d5 into whatwg:main Mar 6, 2024
2 checks passed
@emilio emilio deleted the ua-style-shorthand branch March 7, 2024 10:00
moz-wptsync-bot pushed a commit to web-platform-tests/wpt that referenced this pull request Mar 14, 2024
Also change to shorthands per whatwg/html#10181

Differential Revision: https://phabricator.services.mozilla.com/D203777

bugzilla-url: https://bugzilla.mozilla.org/show_bug.cgi?id=1883896
gecko-commit: 5b75492ce9a7ea8539d2add87bcdb4585c474a9b
gecko-reviewers: emilio
moz-v2v-gh pushed a commit to mozilla/gecko-dev that referenced this pull request Mar 15, 2024
moz-wptsync-bot pushed a commit to web-platform-tests/wpt that referenced this pull request Mar 15, 2024
Also change to shorthands per whatwg/html#10181

Differential Revision: https://phabricator.services.mozilla.com/D203777

bugzilla-url: https://bugzilla.mozilla.org/show_bug.cgi?id=1883896
gecko-commit: 5b75492ce9a7ea8539d2add87bcdb4585c474a9b
gecko-reviewers: emilio
jamienicol pushed a commit to jamienicol/gecko that referenced this pull request Mar 17, 2024
BruceDai pushed a commit to BruceDai/wpt that referenced this pull request Mar 25, 2024
Also change to shorthands per whatwg/html#10181

Differential Revision: https://phabricator.services.mozilla.com/D203777

bugzilla-url: https://bugzilla.mozilla.org/show_bug.cgi?id=1883896
gecko-commit: 5b75492ce9a7ea8539d2add87bcdb4585c474a9b
gecko-reviewers: emilio
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants