mirrors/zotero
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages 1 Wiki Activity Actions

Reindent updates.css

Browse source
This commit is contained in:
Dan Stillman 2023-05-05 05:01:17 -04:00
parent 00703c0b8f
commit fc48025629
1 changed files with 13 additions and 13 deletions
Download patch file Download diff file Expand all files Collapse all files

26
chrome/content/zotero/update/updates.css
View file

@ -1,34 +1,34 @@
/* Hide the wizard's header so the size of the billboard can size the window /* Hide the wizard's header so the size of the billboard can size the window
on creation. A custom header will be used in its place when a header is on creation. A custom header will be used in its place when a header is
needed. */ needed. */
.wizard-header { .wizard-header {
display: none; display: none;
} }
/* Display the custom header */ /* Display the custom header */
.update-header { .update-header {
display: -moz-box !important; display: -moz-box !important;
} }
/* Custom header implementation based on the Wizard's header. This allows the /* Custom header implementation based on the Wizard's header. This allows the
size of the billboard's remotecontent to size the window since it does not size of the billboard's remotecontent to size the window since it does not
have an updateheader on the billboard page. */ have an updateheader on the billboard page. */
updateheader { updateheader {
-moz-binding: url("chrome://mozapps/content/update/updates.xml#updateheader"); -moz-binding: url("chrome://mozapps/content/update/updates.xml#updateheader");
display: -moz-box; display: -moz-box;
-moz-box-orient: horizontal; -moz-box-orient: horizontal;
} }
#downloadProgress { #downloadProgress {
-moz-box-flex: 1; -moz-box-flex: 1;
} }
/* Update History Window */ /* Update History Window */
richlistitem.update { richlistitem.update {
display: -moz-box; display: -moz-box;
-moz-box-orient: vertical; -moz-box-orient: vertical;
} }
.update-name { .update-name {
-moz-box-flex: 1; -moz-box-flex: 1;
} }