This patch was generated by the command:
find . -name "*.css" -exec sed -i -f mozpropsub {} \;
in the root of a mozilla-central tree, with the file mozpropsub
containing the contents:
s/-moz-padding-end\>/padding-inline-end/g
s/-moz-padding-start\>/padding-inline-start/g
s/-moz-margin-end\>/margin-inline-end/g
s/-moz-margin-start\>/margin-inline-start/g
s/-moz-border-end\>/border-inline-end/g
s/-moz-border-end-color\>/border-inline-end-color/g
s/-moz-border-end-style\>/border-inline-end-style/g
s/-moz-border-end-width\>/border-inline-end-width/g
s/-moz-border-start\>/border-inline-start/g
s/-moz-border-start-color\>/border-inline-start-color/g
s/-moz-border-start-style\>/border-inline-start-style/g
s/-moz-border-start-width\>/border-inline-start-width/g
While I didn't manually review all the changes, I did review the list of
files, and manually reviewed the changes in the files that I thought
were more interesting.
Note that there are a few tests that should be fixed up as well, but
I'll do that in a later patch.
MozReview-Commit-ID: EiQTuuV0MNQ
76 lines
1.8 KiB
CSS
76 lines
1.8 KiB
CSS
/* This Source Code Form is subject to the terms of the Mozilla Public
|
|
* License, v. 2.0. If a copy of the MPL was not distributed with this
|
|
* file, You can obtain one at http://mozilla.org/MPL/2.0/. */
|
|
|
|
@import url("chrome://global/skin/in-content/info-pages.css");
|
|
|
|
body {
|
|
background-size: 64px 32px;
|
|
background-repeat: repeat-x;
|
|
/* Top padding for when the window height is small.
|
|
Bottom padding to keep everything centered. */
|
|
padding: 75px 0;
|
|
}
|
|
|
|
.button-container {
|
|
display: flex;
|
|
flex-flow: row wrap;
|
|
}
|
|
|
|
.button-spacer {
|
|
flex: 1;
|
|
}
|
|
|
|
@media only screen and (max-width: 959px) {
|
|
body {
|
|
padding: 75px 48px;
|
|
}
|
|
|
|
.title {
|
|
background-image: none !important;
|
|
padding-inline-start: 0;
|
|
margin-inline-start: 0;
|
|
}
|
|
|
|
.title-text {
|
|
padding-top: 0;
|
|
}
|
|
}
|
|
|
|
@media only screen and (max-width: 640px) {
|
|
body {
|
|
justify-content: unset;
|
|
/* Now that everything is top-aligned, we don't need the
|
|
* bottom padding for centering - though it's added back
|
|
* when the viewport height is < 480px (see below). */
|
|
padding: 75px 20px 0;
|
|
}
|
|
|
|
.title-text {
|
|
padding-bottom: 0;
|
|
border-bottom: none;
|
|
}
|
|
}
|
|
|
|
@media only screen and (max-width: 480px) {
|
|
.button-container button {
|
|
/* Force buttons to display: block here to try and enforce collapsing margins */
|
|
display: block;
|
|
width: 100%;
|
|
margin: 0.66em 0 0;
|
|
}
|
|
}
|
|
|
|
/* For small window height, shift the stripes up by 10px.
|
|
* We could just change the background size, but that changes
|
|
* the angle of the stripes so just shifting up is easier. */
|
|
@media only screen and (max-height: 480px) {
|
|
body {
|
|
background-position: 10px -10px;
|
|
padding-top: 38px;
|
|
/* We get rid of bottom padding for width < 640px, but
|
|
* for height < 480px a bit of space between the content
|
|
* and the viewport edge is nice. */
|
|
padding-bottom: 38px;
|
|
}
|
|
} |