toolkit/mozapps/update/content/updates.css

Wed, 31 Dec 2014 06:09:35 +0100

author
Michael Schloh von Bennewitz <michael@schloh.com>
date
Wed, 31 Dec 2014 06:09:35 +0100
changeset 0
6474c204b198
permissions
-rw-r--r--

Cloned upstream origin tor-browser at tor-browser-31.3.0esr-4.5-1-build1
revision ID fc1c9ff7c1b2defdbc039f12214767608f46423f for hacking purpose.

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

mercurial