Move WebExtensions enabled Add-ons Manager

This commit is contained in:
NTD 2018-02-10 02:49:12 -05:00 committed by Roy Tam
commit 358cd0404a
1100 changed files with 133 additions and 106 deletions

View file

@ -0,0 +1,28 @@
/* 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/. */
.throbber {
list-style-image: url("chrome://global/skin/icons/loading.png");
width: 16px;
height: 16px;
margin-top: 5px;
margin-bottom: 5px;
margin-inline-start: 5px;
margin-inline-end: 2px;
}
@media (min-resolution: 2dppx) {
.throbber {
list-style-image: url("chrome://global/skin/icons/loading@2x.png");
}
}
.alertBox {
background-color: InfoBackground;
color: InfoText;
border: 1px outset InfoBackground;
margin-left: 3px;
margin-right: 3px;
padding: 5px;
}