Wed, 31 Dec 2014 06:09:35 +0100
Cloned upstream origin tor-browser at tor-browser-31.3.0esr-4.5-1-build1
revision ID fc1c9ff7c1b2defdbc039f12214767608f46423f for hacking purpose.
michael@0 | 1 | /* Stop animations when the page they are on are not displayed (bug 341749). */ |
michael@0 | 2 | #updates:not([currentpageid="checking"]) #checkingProgress, |
michael@0 | 3 | #updates:not([currentpageid="incompatibleCheck"]) #incompatibleCheckProgress, |
michael@0 | 4 | #updates:not([currentpageid="downloading"]) #downloadProgress { |
michael@0 | 5 | display: none; |
michael@0 | 6 | } |
michael@0 | 7 | |
michael@0 | 8 | /* Hide the wizard's header so the size of the billboard can size the window |
michael@0 | 9 | on creation. A custom header will be used in its place when a header is |
michael@0 | 10 | needed. */ |
michael@0 | 11 | .wizard-header { |
michael@0 | 12 | display: none; |
michael@0 | 13 | } |
michael@0 | 14 | |
michael@0 | 15 | /* Display the custom header */ |
michael@0 | 16 | .update-header { |
michael@0 | 17 | display: -moz-box !important; |
michael@0 | 18 | } |
michael@0 | 19 | |
michael@0 | 20 | /* Custom header implementation based on the Wizard's header. This allows the |
michael@0 | 21 | size of the billboard's remotecontent to size the window since it does not |
michael@0 | 22 | have an updateheader on the billboard page. */ |
michael@0 | 23 | updateheader { |
michael@0 | 24 | -moz-binding: url("chrome://mozapps/content/update/updates.xml#updateheader"); |
michael@0 | 25 | display: -moz-box; |
michael@0 | 26 | -moz-box-orient: horizontal; |
michael@0 | 27 | } |
michael@0 | 28 | |
michael@0 | 29 | /* Remote content displayed in the billboard and license pages. */ |
michael@0 | 30 | remotecontent { |
michael@0 | 31 | -moz-binding: url("chrome://mozapps/content/update/updates.xml#remotecontent"); |
michael@0 | 32 | display: -moz-deck; |
michael@0 | 33 | } |
michael@0 | 34 | |
michael@0 | 35 | /* Update History Window */ |
michael@0 | 36 | update { |
michael@0 | 37 | -moz-binding: url("chrome://mozapps/content/update/updates.xml#update"); |
michael@0 | 38 | display: -moz-box; |
michael@0 | 39 | -moz-box-orient: vertical; |
michael@0 | 40 | } |
michael@0 | 41 |